Kyungsoo Im, John D. McGregor. Debugging support for security properties of software architectures. In Frederick T. Sheldon, Greg Peterson, Axel W. Krings, Robert K. Abercrombie, Ali Mili, editors, Fifth Cyber Security and Information Intelligence Research Workshop, CSIIRW '09, Knoxville, TN, USA, April 13-15, 2009. pages 16, ACM, 2009. [doi]
Abstract is missing.