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)

A typed specification for security protocols

by: Bela Genge, and Iosif Ignat

In: Proceedings of the 5th WSEAS International Conference on Data Networks, Communications and ComputersWSEAS Press, Greece (2006) , p. 113--118.

Abstract

Security protocol attacks are known to have various sources, from flawed implementations, to running parallel sessions of the same protocol. Because of this attack diversity, it is quite difficult or impossible to create an abstract model that is suitable for analyzing a protocol against all possible attacks. However, if we categorize the attacks based on their characteristics we should be able to create multiple abstract models that simplify the analysis. Therefore, in this paper we identify attacks based on message similarities, that we call “structural attacks”, and create an abstract model, based on message component types session keys, nonces, participants, that is powerful enough to capture the structure of security protocol messages.

BibTeX record

@inproceedings{GI2006typed,
  abstract = {Security protocol attacks are known to have various sources, from flawed implementations, to running parallel sessions of the same protocol. Because of this attack diversity, it is quite difficult (or impossible) to create an abstract model that is suitable for analyzing a protocol against all possible attacks. However, if we categorize the attacks based on their characteristics we should be able to create multiple abstract models that simplify the analysis. Therefore, in this paper we identify attacks based on message similarities, that we call “structural attacks”, and
create an abstract model, based on message component types (session keys, nonces, participants), that is powerful
enough to capture the structure of security protocol messages.},
  added-at = {2009-09-01T14:12:00.000+0200},
  author = {Genge, Bela and Ignat, Iosif},
  biburl = {http://www.bibsonomy.org/bibtex/213822d2999772be1677877125b9af7eb/bgenge%40engineering.upm.ro},
  booktitle = {Proceedings of the 5th WSEAS International Conference on Data Networks, Communications and Computers},
  interhash = {b5054e119ccc928ea7cd4edcd1eb7883},
  intrahash = {13822d2999772be1677877125b9af7eb},
  isbn = {960-8457-54-8},
  keywords = {imported},
  location = {Bucharest, Romania},
  pages = {113--118},
  publisher = {WSEAS Press, Greece},
  timestamp = {2009-09-01T14:12:00.000+0200},
  title = {A typed specification for security protocols},
  year = 2006
}

Endnote record

%0 Conference Paper
%1 GI2006typed
%A Genge, Bela
%A Ignat, Iosif
%B Proceedings of the 5th WSEAS International Conference on Data Networks, Communications and Computers
%@ 960-8457-54-8
%D 2006
%I WSEAS Press, Greece
%K 
%P 113--118
%T A typed specification for security protocols
%X Security protocol attacks are known to have various sources, from flawed implementations, to running parallel sessions of the same protocol. Because of this attack diversity, it is quite difficult (or impossible) to create an abstract model that is suitable for analyzing a protocol against all possible attacks. However, if we categorize the attacks based on their characteristics we should be able to create multiple abstract models that simplify the analysis. Therefore, in this paper we identify attacks based on message similarities, that we call “structural attacks”, and
create an abstract model, based on message component types (session keys, nonces, participants), that is powerful
enough to capture the structure of security protocol messages.