VERIFICATION OF THE SSL/TLS PROTOCOL USING A MODEL CHECKABLE LOGIC OF BELIEF AND TIME / Benerecetti, M., M., P., L., S., S., T.. - STAMPA. - LNCS VOL. 2434:(2002), pp. 71-80. (21st International Conference on Computer Safety, Reliability and Security Catania, Italy 10-13 Settembre 2002).
VERIFICATION OF THE SSL/TLS PROTOCOL USING A MODEL CHECKABLE LOGIC OF BELIEF AND TIME
BENERECETTI, MASSIMO;
2002
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


