Roberto Gorrieri, F.Martinelli (2004). A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules. SCIENCE OF COMPUTER PROGRAMMING, 50(1-3), 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.
