Automatic Analysis of a Non-Repudiation Protocol

Academic Article

Publication Date:

2005

Iris type:

Articolo su Rivista

List of contributors:

Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.

Authors of the University:

LANOTTE RUGGERO

Handle:

https://irinsubria.uninsubria.it/handle/11383/1709631

Published in:

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Journal