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

Type
Label
  • Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus (Articolo in rivista) (literal)
Anno
  • 2006-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1142/S0129054106004121 (literal)
Alternative label
  • I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano (2006)
    Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus
    in International journal of foundations of computer science; World Scientific Publ. Co., Singapore (Singapore)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano (literal)
Pagina inizio
  • 815 (literal)
Pagina fine
  • 832 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.worldscinet.com/ijfcs/17/1704/S0129054106004121.html (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 17 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 18 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 4 (literal)
Note
  • Scopu (literal)
  • ISI Web of Science (WOS) (literal)
  • Google Scholar (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 Verification 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 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. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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