✦ LIBER ✦

Formal Verification of IEEE 802.11w Authentication Protocol

✍ Scribed by V. Valli Kumari; K.V. Krishnam Raju

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal analysis of authentication in 802

✍ Ling Dong; Ke-fei Chen; Xue-jia Lai 📂 Article 📅 2009 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 192 KB

Verification of a Leader Election Protoc

✍ Marco Devillers; David Griffioen; Judi Romijn; Frits Vaandrager 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 97 KB

QoS Mechanisms for the MAC Protocol of I

✍ José R. Gallardo; Paúl Medina; Weihua Zhuang 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 496 KB

Design of a lightweight authentication s

✍ Zhenxia Zhang; Azzedine Boukerche; Hussam Ramadan 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 938 KB

An implementation and verification of IE

✍ Masafumi Oe; Hiroaki Hazeyama; Seiichi Yamamoto; Shin Shirahata 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 883 KB

Analytical modeling of bidirectional mul

✍ Vandana Gupta; Mingwei Gong; S. Dharmaraja; Carey Williamson 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 411 KB