TPMC: A Model Checker for Time-Sensitive Security Protocols / Benerecetti, M., Cuomo, N., Peron, A.. - STAMPA. - (2007), pp. 742-749. (High performance computing and simulation conference (HPCS 2007) Prague June, 4-6, 2007).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


