A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules / Roberto Gorrieri; F.Martinelli. - In: SCIENCE OF COMPUTER PROGRAMMING. - ISSN 0167-6423. - STAMPA. - 50(1-3)(2004), pp. 23-49.
Titolo: | A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules |
Autore/i: | GORRIERI, ROBERTO; F. Martinelli |
Autore/i Unibo: | |
Anno: | 2004 |
Rivista: | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1016/j.scico.2004.01.001 |
Data prodotto definitivo in UGOV: | 2005-09-26 14:06:09 |
Appare nelle tipologie: | 1.01 Articolo in rivista |
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.