IEEE - Institute of Electrical and Electronics Engineers, Inc. - Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language)

Sixth International Conference on Application of Concurrency to System Design

Author(s): R. Bouroulet ; H. Klaudel ; E. Pelz
Sponsor(s): ICT Turku Oy
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Turku, Finland
Conference Date: 28 June 2006
Page(s): 179 - 188
ISBN (Paper): 0-7695-2556-3
ISSN (Paper): 1550-4808
DOI: 10.1109/ACSD.2006.12
Regular:

This paper proposes an enhanced translation of Security Protocol Language (SPL) in high-level Petri nets in order to allow to prove automatically, using model-checking techniques, the... View More

Advertisement