BibSonomy :: publication ::

tag user group author concept BibTeX key search:all search:bgenge@engineering.upm.ro

The blue social bookmark and publication sharing system.

(0)

This publication has not been reviewed yet.

rating distribution

average user rating

The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.

(0.0 of 5.0 based on 0 reviews)

Attacks in single and multi-protocol environments

by: Bela Genge, and Piroska Haller

In: Proceedings of the 7th International Conference on Computer Science and Energetics-Electrical EngineeringEMTE Press, Romania (2007) , p. 54--58.

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.

BibTeX record

@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
}

Endnote record