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. [10.1016/j.scico.2004.01.001]
A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules
GORRIERI, ROBERTO;
2004
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.