IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)

Process Algebraic Analysis of Cryptographic Protocols / BOREALE M.; DE NICOLA R.; R. PUGLIESE. - STAMPA. - (2000), pp. 375-392. [10.1007/978-0-387-35533-7_24]

Process Algebraic Analysis of Cryptographic Protocols

BOREALE, MICHELE;PUGLIESE, ROSARIO
2000

Abstract

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
2000
9780792379683
Formal Techniques for Distributed System Development, FORTE/PSTV 2000.
375
392
BOREALE M.; DE NICOLA R.; R. PUGLIESE
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/240729
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact