@TechReport{	  frau.ea:integrated:2010,
  address	= {Zurich},
  author	= {Simone Frau and Mohammad Torabi Dashti},
  institution	= {ETH},
  language	= {USenglish},
  month		= {December},
  number	= 702,
  title		= {Integrated Specification and Verification of Security
		  Protocols and Policies},
  url		= {http://www.inf.ethz.ch/research/disstechreps/techreports/show?serial=702&lang=en}
		  ,
  year		= 2010,
  user		= {torabidm}
}