Formal Verification of IEEE 802.11w Authentication Protocol

Autor:	Kumari, V. Valli, Raju, K.V. Krishnam
Zdroj:	In Procedia Technology 2012 6:716-722
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu