A new knowledge representation strategy for 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: A new knowledge representation strategy for cryptographic protocol analysis
Authors string: Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A
University authors:
Page Range: pp. 284-298
Referee type: Not specified type
Publisher: Springer
ISSN: 0302-9743
Volume: 2619
Event Title: 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003
Event Location: Warsaw (PL)
Event Dates: April 7–11, 2003
Abstract: The formal verifiation of security properties of a cryptographic protocol is a diffcult, albeit very important task as more and more sensible resources are added to public networks. This paper is focused on model checking; when adopting this approach to the problem, one challenge is to represent the intruder's knowledge in an effective way. We present an intruder's knowledge representation strategy that supports the full term language of spi calculus and does not pose arti.- cial restrictions, such as atomicity or limited maximum size, to language elements. In addition, our approach leads to practical implementation because the knowledge representation is incrementally computable and is easily amenable to work with various term representation languages
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:38
    Last modification data (IRIS): 10 Jul 2014 10:16:12
    Update date (PORTO): 24 Oct 2014 09:19
    Id Number (DOI): 10.1007/3-540-36577-X_21
    Permalink: http://porto.polito.it/id/eprint/1418139
    Link resolver URL: Linksolver link

    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 (admin reserved) View item (admin reserved)