Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis

Tipo di pubblicazione: Articolo su rivista
Tipologia MIUR: Contributo su Rivista > Articolo in rivista
Titolo: Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis
Autori: Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A
Autori di ateneo:
Titolo del periodico: FORMAL ASPECTS OF COMPUTING
Tipo di referee: Tipo non specificato
Editore: SPRINGER
Volume: 20
Numero: 3
Intervallo pagine: pp. 303-348
Numero di pagine: 46
ISSN: 0934-5043
Abstract: This paper addresses the problem of representing the intruder's knowledge in the formal verification of cryptographic protocols, whose main challenges are to represent the intruder's knowledge efficiently and without artificial limitations on the structure and size of messages. The new knowledge representation strategy proposed in this paper achieves both goals and leads to practical implementation because it is incrementally computable and is easily amenable to work with various term representation languages. In addition, it handles associative and commutative term composition operators, thus going beyond the free term algebra framework. An extensive computational complexity analysis of the proposed representation strategy is included in the paper
Data: 2008
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: state space exploration, knowledge representation, cryptographic protocols
Dipartimenti (originale): DAUIN - Dipartimento di Automatica Informatica
Dipartimenti: DAUIN - Dipartimento di Automatica e Informatica
URL correlate:
    Area disciplinare: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
    Data di deposito: 18 Set 2009 16:54
    Data ultima modifica (IRIS): 15 Set 2016 15:57:13
    Data inserimento (PORTO): 17 Set 2016 04:53
    Numero Identificativo (DOI): 10.1007/s00165-008-0078-3
    Permalink: http://porto.polito.it/id/eprint/2280636
    Link resolver URL: Link resolver link
    Citazioni:

    Il campo presenta il numero di citazioni presenti sulle banche dati Scopus e Web of Science e permette di accedere ai relativi record. Visualizza inoltre il link al record presente su Google Scholar.

    Possono verificarsi discrepanze rispetto ai dati presenti sulle banche dati per i seguenti motivi:

    • Differenze tra i dati riportati su IRIS e quelli presenti nelle banche dati.
    • Il numero di citazioni riportate su PORTO viene estratto mensilmente. Il dato citazionale presente sulle singole banche dati è aggiornato in tempo reale
    • Il numero di citazioni per WoS viene calcolato sulla base delle collezioni in abbonamento (Science citation index Expanded e Conference Proceedings Citation Index)

    Per informazioni o segnalazioni contattare scrivia/porto

    +
    -

    Allegati

    [img] PDF (10.1007_s00165_008_0078_3.pdf) - Altro
    Accesso al documento: Non visibile (accessibile solo al proprietario del dato)
    Licenza: Non pubblico - Accesso privato / Ristretto.

    Download (1036Kb (1061160 bytes)) | Spedisci una richiesta all'autore per una copia del documento

    Azioni (richiesto il login)

    Visualizza il documento (riservato amministratori) Visualizza il documento (riservato amministratori)