Exploiting Generic Aspects of Security Models in Formal Developments.

Heiko Mantel Axel Schairer Exploiting Generic Aspects of Security Models in Formal Developments. 452-475 2005 conf/birthday/2005siekmann Mechanizing Mathematical Reasoning http://springerlink.metapress.com/openurl.asp?genre=article&id=5CDC3901TC727CTR db/conf/birthday/siekmann2005.html#MantelS05