@inproceedings{backes06formal,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael },
  title        = {Formal Methods and Cryptography},
  booktitle    = {Proceedings of 14th International Symposium on Formal Methods (FM)},
  series       = {Lecture Notes in Computer Science},
  volume       = {4085},
  month        = {August},
  year         = {2006},
  publisher    = {Springer},
  pages        = {612-616}
}