Saliou, L., Buchanan, W. J., Graves, J., & Munoz, J. (2005, July). Novel Framework for Automated Security Abstraction, Modelling, Implementation and Verification. Presented at 4th European Conference on Information Warfare and Security