Saliou, Lionel, Buchanan, William J, Graves, Jamie, Munoz, Jose, "Novel Framework for Automated Security Abstraction, Modelling, Implementation and Verification", , 2005