loading...
A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets
Hamilton, Ontario, Canada June 16-June 18
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309120Fourth International Conference on Ap ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz, "A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets," Application of Concurrency to System Design, International Conference on, pp. 99, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/CSD.2004.1309120,
author = {Roland Bouroulet and Hanna Klaudel and Elisabeth Pelz},
title = {A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2077-4},
pages = {99},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309120},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets
SN - 0-7695-2077-4
SP
EP
A1 - Roland Bouroulet,
A1 - Hanna Klaudel,
A1 - Elisabeth Pelz,
PY - 2004
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Roland Bouroulet, LACL, Universit? Paris 12, France
Hanna Klaudel, LaMI, Universit? d'Evry, France
Elisabeth Pelz, LACL, Universit? Paris 12, France
This paper aims at introducing a Petri net semantics of security protocols allowing to study their properties formally. This is obtained by means of an economic but expressive class of composable high-level Petri nets, called S-nets, inspired from works about the relationship between Petri nets and process algebras. S-nets are applied then to give a compositional high-level Petri net semantics to SPL. The Needham-Schr?der protocol is employed to illustrate how this semantics can be used in order to establish the violation of the authentication property.
Citation:
Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz, "A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets," acsd, pp.99, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.