@InProceedings{DHS05,
  author = 	 {\'{A}d\'{a}m Darvas and Reiner H\"{a}hnle and Dave Sands},
  title = 	 {A Theorem Proving Approach to Analysis of Secure Information
  Flow},
  booktitle =	 {Proc.\ 2nd International Conference on Security in Pervasive Computing},
  pages =	 {193--209},
  url = {http://www.springerlink.com/link.asp?id=rdqa8ejctda3yw64},
  year =	 {2005},
  editor =	 {Dieter Hutter and Markus Ullmann},
  volume  = {3450},
  series =       {LNCS},
  publisher =    {Springer-Verlag}
}