IEEE - Institute of Electrical and Electronics Engineers, Inc. - On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols

2006 IEEE International Workshop on Factory Communication Systems

Author(s): M. Cheminod ; I.C. Bertolotti ; L. Durante ; R. Sisto ; A. Valenzano
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Torino, Italy, Italy
Conference Date: 28 June 2006
Page Count: 10
Page(s): 273 - 282
ISBN (Paper): 1-4244-0379-0
DOI: 10.1109/WFCS.2006.1704167
Advertisement