Preliminary version appeared in the proceedings of the Workshop MEFISTO
Model-checking the Secure Release of a Time-locked Secret over a Network / LA TORRE, Salvatore; Murano, Aniello; Parente, M.. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - STAMPA. - 99:(2004), pp. 229-243.
Model-checking the Secure Release of a Time-locked Secret over a Network
LA TORRE, SALVATORE;MURANO, ANIELLO;
2004
Abstract
Preliminary version appeared in the proceedings of the Workshop MEFISTOFile 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.
