Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis

Full text not available from this repository. Send a request to the author for a copy of the paper
Item Type: Proceeding
MIUR type: Proceedings > Proceedings
Title: Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis
Authors string: Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A
University authors:
Page Range: pp. 224-239
Journal or Publication Title: LECTURE NOTES IN COMPUTER SCIENCE
Referee type: Not specified type
Publisher: Springer
ISSN: 0302-9743
Volume: 2767
Event Title: 23rd IFIP WG 6.1 International Conference
Event Location: Berlin (DE)
Event Dates: September 29 – October 2
Abstract: Many formal techniques for the verification of cryptographic protocols rely on the abstract definition of cryptographic primitives, such as shared, private, and public key encryption. This approach prevents the analysis of those protocols that explicitly use commutative and associative algebraic operators to build their messages such as, for example, the Diffie-Hellman key-exchange protocol. This paper investigates the possibility of handling operators which exhibit special properties by considering a stand-alone extension to the way most known popular techniques handle messages exchanged during the protocol sessions. Such an extension makes the new operators tractable by automatic model checking techniques. The properties examined in this paper are commutativity and associativity
Date: 2003
Status: Published
Language of publication:
Uncontrolled Keywords:
Departments (original): DAUIN - Control and Computer Engineering
Departments: DAUIN - Department of Control and Computer Engineering
Related URLs:
    Subjects: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
    Date Deposited: 05 Oct 2006 14:10
    Last Modified: 24 Oct 2014 09:19
    Id Number (DOI): 10.1007/978-3-540-39979-7_15
    Permalink: http://porto.polito.it/id/eprint/1418141
    Linksolver URL: Linksolver link
    Citations:

    This field presents the citations number present on Scopus and Web of Science databases e links to the remote records. Also Google Scholar link is present.

    There may be discrepancies with respect to the data in databases for the following reasons:

    • Differences from fields (title, year,...) in UGOV and those in the databases.
    • PORTO citations are extracted monthly. The db is in real time
    • The WoS citation number reflect the collections subscribed by Politecnico (Science citation index Expanded and Conference Proceedings Citation Index)

    For informations contact scrivia/porto

    +
    -

    Actions (login required)

    View Item View Item