Formal Verification of IEEE802.16m PKMv3 Protocol Using CasperFDR. - K. V. Krishnam Raju; V. Valli Kumari; N. Sandeep Varma; K. V. S. V. N. Raju (ICT, 2010)

Formal Verification of IEEE 802.11 Authentication Protocols. - K. V. Krishnam Raju; V. Valli Kumari (J. Networks, 2013)