Lionel Saliou, William J. Buchanan, Jamie Graves, Jose Munoz. Novel Framework for Automated Security Abstraction, Modelling, Implementation and Verification. In 4th European Conference on Information Warfare and Security, University of Glamorgan, UK, 11-12 July 2005. pages 303-312, Academic Conferences Limited, Reading, UK, 2005.
Abstract is missing.