K. V. Krishnam Raju

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Authentication Protocol

Formal Verification

Security Protocols

Top Venues

Publications

K. V. Krishnam Raju, V. Valli Kumari
Formal Verification of IEEE 802.11 Authentication Protocols. J. Networks 8 (4) (2013)
K. V. Krishnam Raju, V. Valli Kumari, N. Sandeep Varma, K. V. S. V. N. Raju
Formal Verification of IEEE802.16m PKMv3 Protocol Using CasperFDR. ICT (2010)