Process algebraic frameworks for the specification and analysis of cryptographic protocols (Contributo in atti di convegno)

Type
Label
  • Process algebraic frameworks for the specification and analysis of cryptographic protocols (Contributo in atti di convegno) (literal)
Anno
  • 2003-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-540-45138-9_3 (literal)
Alternative label
  • Gorrieri R., Martinelli F. (2003)
    Process algebraic frameworks for the specification and analysis of cryptographic protocols
    in 28th International Symposium, MFCS 2003., Bratislava, Slovakia., August 25-29, 2003.
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Gorrieri R., Martinelli F. (literal)
Pagina inizio
  • 46 (literal)
Pagina fine
  • 67 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://link.springer.com/chapter/10.1007%2F978-3-540-45138-9_3 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 2747 (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • 6. Dipartimento di Scienze dell'Informazione, Università di Bologna, Italy 7. Istituto di Informatica e Telematica C.N.R., Pisa, Italy (literal)
Titolo
  • Process algebraic frameworks for the specification and analysis of cryptographic protocols (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-540-40671-6 (literal)
Abstract
  • Two process algebraic approaches for the analysis of cryptographic protocols, namely the spi calculus by Abadi and Gordon and CryptoSPA by Focardi, Gorrieri and Martinelli, are surveyed and compared. We show that the two process algebras have comparable expressive power, by providing an encoding of the former into the latter. We also discuss the relationships among some security properties, i.e., authenticity and secrecy, that have different definitions in the two approaches. (literal)
Prodotto di
Autore CNR

Incoming links:


Prodotto
Autore CNR di
data.CNR.it