Gnesi S., Latella D., Lenzini G. Formal verification of cryptographic protocols using history dependent automata. In: Quarto Workshop su Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi WSDAAL'99. (Fonte Cerreto,L'Aquila, Italy, 3-15 settembre 1999). Atti, pp. 74 - 77. 1999. |
Abstract (English) |
Cryptography has been introduced to insure an acceptable degree of security in presence of malicious intruders when critical information are transmitted via an insecure media, for example a computer wide network or a mobile telephone network. | |
Subject |
![]() |


