Arnab Ray. Security check: a formal yet practical framework for secure software architecture. In Christian Hempelmann, Victor Raskin, editors, Proceedings of the New Security Paradigms Workshop 2003, August 18-21, 2002, Ascona, Switzerland. pages 59-65, ACM, 2003. [doi]
Abstract is missing.