@article{jias2009,
title = {{Invariant Evaluation through Introspection for Proving Security Properties}},
author = {Fabrizio Baiardi and Dario Maggiari and Daniele Sgandurra},
journal = "{{Information Assurance and Security}}",
volume = "4",
number = "2",
pages = "124--132",
year = "2009",
issn = "1554-1010",
publisher = "{{Dynamic Publisher Inc}}",
url = "http://www.mirlabs.org/jias/baiardi.pdf"
}