Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloExploiting Symmetries for Testing Equivalence in the Spi Calculus
Anno di pubblicazione2004
Formato
  • Elettronico
  • Cartaceo
Autore/iI. Cibrario Bertolotti; L. Durante; A. Valenzano; R. Sisto
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
  • 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 the universal quantification over contexts. A technique based on state exploration to address this verification problem has been previously 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 da135
Pagine a149
Pagine totali15
RivistaLecture notes in computer science
Attiva dal 1973
Editore: Springer - Berlin
Paese di pubblicazione: Germania
Lingua: multilingue
ISSN: 0302-9743
Titolo chiave: Lecture notes in computer science
Titolo proprio: Lecture notes in computer science.
Titolo abbreviato: Lect. notes comput. sci.
Titoli alternativi:
  • Lecture notes in computer science. Lecture notes in artificial intelligence
  • Lecture notes in artificial intelligence
  • LNCS. Lecture notes in computer science (Print)
  • Lecture notes in computer science (Print)
  • Lecture notes in computer science. LNAI. Lecture notes in artificial intelligence
  • Lecture notes in computer science. Lecture notes in bioinformatics (Print)
  • Lecture notes in computer science. Journal subline
Numero volume della rivista3299
Fascicolo della rivista-
DOI10.1007/978-3-540-30476-0_15
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:000225163400013)
  • Scopus (Codice:2-s2.0-35048826888)
Parole chiavesecurity protocols, automated analysis, formal methods, testing equivalence
Link (URL, URI)http://www.springerlink.com/content/p5f50hwcq87aq5w1/
Titolo parallelo-
Data di accettazione-
Note/Altre informazioniProceedings of the 2nd International Conference on Automated Technology for Verification and Analysis (ATVA 2004)
Strutture CNR
  • IEIIT — Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni
Moduli CNR
    Progetti Europei-
    Allegati
    • contributo

    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
    • Springer Berlin / Heildelberg, Berlin (Germania)

    Dati storici
    I dati storici non sono modificabili, sono stati ereditati da altri sistemi (es. Gestione Istituti, PUMA, ...) e hanno solo valore storico.
    Area disciplinareComputer Science & Engineering
    Area valutazione CIVRIngegneria industriale e informatica
    Rivista ISILECTURE NOTES IN COMPUTER SCIENCE [00538S0]