Towards formal analysis of wireless LAN security with MIS protocol.

Ilsun You Yoshiaki Hori Kouichi Sakurai

Published in: Int. J. Ad Hoc Ubiquitous Comput. (2011)

Keyphrases

formal analysis
ban logic
wireless lan
wifi
authentication protocol
virtual laboratory
formal methods
access points
wireless sensor
agent model
low cost
information systems
lightweight
wireless networks
security policies
mobile nodes
mobile ipv