Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloExploiting Symmetries for Testing Equivalence Verification in the SPI Calculus
Anno di pubblicazione2006
Formato
  • Elettronico
  • Cartaceo
Autore/iI. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano
Affiliazioni autoriI. Cibrario Bertolotti; L. Durante; A. Valenzano: CNR-IEIIT, Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni, Torino, Italy R. Sisto: CNR-IEIIT e Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy
Autori CNR e affiliazioni
  • RICCARDO SISTO VQR
  • LUCA DURANTE VQR
  • ADRIANO VALENZANO VQR
  • IVAN CIBRARIO BERTOLOTTI VQR
Lingua/e
  • inglese
AbstractTesting equivalence is a quite powerful way of expressing security properties of cryptographic protocols, but its formal verification is a difficult task, because it is based on universal quantification over contexts. A technique based on state exploration to address this verification problem has previously been presented; it relies on an environment-sensitive labelled transition system (ES-LTS) and on symbolic term representation. This paper shows that such a technique can be enhanced by exploiting symmetries found in the ES-LTS structure. Experimental results show that the proposed enhancement can substantially reduce the size of the ES-LTS and that the technique as a whole compares favorably with respect to related work.
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da815
Pagine a832
Pagine totali18
RivistaInternational journal of foundations of computer science
Attiva dal 1990
Editore: World Scientific. - Singapore
Paese di pubblicazione: Singapore
Lingua: inglese
ISSN: 0129-0541
Titolo chiave: International journal of foundations of computer science
Titolo abbreviato: Int. j. found. comput. sci.
Numero volume della rivista17
Fascicolo della rivista4
DOI10.1142/S0129054106004121
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:000239874300007)
  • Scopus (Codice:2-s2.0-35048826888)
Parole chiavespi calculus, cryptographic protocols, model checking, testing equivalence
Link (URL, URI)http://www.worldscinet.com/ijfcs/17/1704/S0129054106004121.html
Titolo parallelo-
Data di accettazione-
Note/Altre informazioni-
Strutture CNR
  • IEIIT — Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni
Moduli CNR
    Progetti Europei-
    Allegati
    • Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus

    Dati associati a vecchie tipologie
    I dati associati a vecchie tipologie non sono modificabili, derivano dal cambiamento della tipologia di prodotto e hanno solo valore storico.
    Editore
    • World Scientific Publ. Co., Singapore (Singapore)

    Dati storici
    I dati storici non sono modificabili, sono stati ereditati da altri sistemi (es. Gestione Istituti, PUMA, ...) e hanno solo valore storico.
    Rivista ISIK-THEORY [11837J0]