Title :
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols
Author :
Cheminod, Manuel ; Bertolotti, Ivan Cibrario ; Durante, Luca ; Sisto, Riccardo ; Valenzano, Adriano
Keywords :
Communication industry; Communication system security; Computer industry; Cryptographic protocols; Electrical equipment industry; IP networks; Manufacturing automation; Process control; Production facilities; Wireless communication;
Conference_Titel :
Factory Communication Systems, 2006 IEEE International Workshop on
Conference_Location :
Torino, Italy
Print_ISBN :
1-4244-0379-0
DOI :
10.1109/WFCS.2006.1704167
