@InProceedings{	  mantel:framework:2005,
  address	= {Alexandria , VA, USA},
  author	= {Heiko Mantel},
  booktitle	= {FMSE'05: 3rd ACM Workshop on Formal Methods for Security
		  Engineering: From Specifications to Code},
  language	= {USenglish},
  month		= {November 11},
  pages		= {53--62},
  pdf		= {papers/2005/2005-fmse.pdf},
  ps		= {papers/2005/2005-fmse.PS.zip},
  publisher	= {ACM},
  title		= {The Framework of Selective Interleaving Functions and the
		  Modular Assembly Kit},
  year		= 2005,
  user		= {seg},
  categories	= {fmseceng:securityproperties, fmseceng:complete}
}