@inproceedings{GH2007attacks,
  abstract = {We examine several security protocol specification methods discussing the possible advantages and disadvantages these introduce. By using the mentioned specifications we present
different type of attacks in single and multi-protocol environment. We also propose an extension of a specification model that allows a formal analysis of multi-protocols.},
  added-at = {2009-09-01T14:11:20.000+0200},
  author = {Genge, Bela and Haller, Piroska},
  biburl = {http://www.bibsonomy.org/bibtex/28b2955bc21ff0d88a883cbda099c8db0/bgenge%40engineering.upm.ro},
  booktitle = {Proceedings of the 7th International Conference on Computer Science and Energetics-Electrical Engineering},
  interhash = {4a1301ec2bbb03d232d0307eaaec191a},
  intrahash = {8b2955bc21ff0d88a883cbda099c8db0},
  issn = {1842-4546},
  keywords = {imported},
  location = {Oradea, Romania},
  pages = {54--58},
  publisher = {EMTE Press, Romania},
  timestamp = {2009-09-01T14:11:20.000+0200},
  title = {Attacks in single and multi-protocol environments},
  year = 2007
}