Catania, Italy, Springer--Verlag, Berlin, Germany, 2002
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time / Benerecetti, M.; Panti, M.; Spalazzi, Luca; Tacconi, S.. - (2002).
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time .
SPALAZZI, Luca;
2002-01-01
Abstract
Catania, Italy, Springer--Verlag, Berlin, Germany, 2002File 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.