Exploiting Symmetries for Testing Equivalence in the Spi Calculus (Articolo in rivista)

Type
Label
  • Exploiting Symmetries for Testing Equivalence in the Spi Calculus (Articolo in rivista) (literal)
Anno
  • 2004-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-540-30476-0_15 (literal)
Alternative label
  • I. Cibrario Bertolotti; L. Durante; A. Valenzano; R. Sisto (2004)
    Exploiting Symmetries for Testing Equivalence in the Spi Calculus
    in Lecture notes in computer science; Springer Berlin / Heildelberg, Berlin (Germania)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • I. Cibrario Bertolotti; L. Durante; A. Valenzano; R. Sisto (literal)
Pagina inizio
  • 135 (literal)
Pagina fine
  • 149 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Proceedings of the 2nd International Conference on Automated Technology for Verification and Analysis (ATVA 2004) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.springerlink.com/content/p5f50hwcq87aq5w1/ (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 3299 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 15 (literal)
Note
  • Scopu (literal)
  • Google Scholar (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • I. 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 (literal)
Titolo
  • Exploiting Symmetries for Testing Equivalence in the Spi Calculus (literal)
Abstract
  • Testing 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. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it