Formal Verification of IEEE 802.11 Authentication Protocols

K. V. Krishnam Raju, V. Valli Kumari. Formal Verification of IEEE 802.11 Authentication Protocols. JNW, 8(4):769-778, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.