@InCollection{	  mantel.ea:exploiting:2005,
  author	= {Heiko Mantel and Axel Schairer},
  booktitle	= {Mechanizing Mathematical Reasoning},
  isbn		= {3-540-25051-4},
  pages		= {129--145},
  publisher	= {Springer},
  series	= {LNCS},
  title		= {Exploiting Generic Aspects of Security Models in Formal
		  Developments},
  url		= {http://www.springerlink.com/content/5cdc3901tc727ctr/},
  volume	= 2605,
  year		= 2005
}