Automatic Detection of Attacks on Cryptographic Protocols: a Case Study

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: Automatic Detection of Attacks on Cryptographic Protocols: a Case Study
Authors string: Cibrario Bertolotti I.; Durante L.; Sisto R.; Valenzano A.
University authors:
Page Range: pp. 69-84
Journal or Publication Title: LECTURE NOTES IN COMPUTER SCIENCE
Referee type: Not specified type
Publisher: Springer
ISSN: 0302-9743
Volume: 3548
Event Title: Second International Conference, DIMVA 2005
Event Location: Vienna (AT)
Event Dates: July 7-8, 2005
Abstract: Recently, a new verification tool for cryptographic protocols called S3A (Spi Calculus Specifications Symbolic Analyzer) has been developed, which is based on exhaustive state space exploration and symbolic data representation, and overcomes most of the limitations of previously available tools. In this paper we present some insights on the ability of S3A to detect complex type flaw attacks, using a weakened version of the well-known Yahalom authentication protocol as a case study. The nature of the attack found by S3A makes it very difficult to spot by hand, thus showing the usefulness of analyis tools of this kind in real-world protocol analysis
Date: 2005
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:18
    Id Number (DOI): 10.1007/11506881_5
    Permalink: http://porto.polito.it/id/eprint/1418144
    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