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.