@InProceedings{juerjens:yu:bauer:bcs08,
  author =	 {Jan J{\"u}rjens and Yijun Yu and Andreas Bauer},
  editor =       {E. Gelenbe and S. Abramsky and V. Sassone},
  title =        {Tools for Traceable Security Verification},
  booktitle =    {Proceedings of the BCS International Academic
                  Conference 2008---Visions of Computer Science},
  pages =        {367--378},
  publisher =	 {The British Computer Society},
  address =      {Swindon, UK},
  issn =         {1477-9358},
  year =         2008,
  month =        Sep
}