PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
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


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional