SAN ANTONIO, TEXAS
Using the NuSMV Model Checker to verify the Kerberos Protocol / M., Panti; Spalazzi, Luca; S., Tacconi. - (2002).
Using the NuSMV Model Checker to verify the Kerberos Protocol
SPALAZZI, Luca;
2002-01-01
Abstract
SAN ANTONIO, TEXASFile 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.