External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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. Formal Verification of IEEE802.16m PKMv3 Protocol Using CasperFDR. In Vinu V. Das, R. Vijayakumar, K. G. Srinivasa, Hatim A. Aboalsamh, Mohammad Hammoudeh, Vahid Salmani, Dinesh Kumar Tyagi, Anjali Mohapatra, Bharatheesh Jaysimha, Eliathamby Ambikairajah, Jonathan M. Blackledge, editors, Information and Communication Technologies - International Conference, ICT 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings. Volume 101 of Communications in Computer and Information Science, pages 590-595, Springer, 2010. [doi]

Authors

K. V. Krishnam Raju

This author has not been identified. Look up 'K. V. Krishnam Raju' in Google

V. Valli Kumari

This author has not been identified. Look up 'V. Valli Kumari' in Google

N. Sandeep Varma

This author has not been identified. Look up 'N. Sandeep Varma' in Google

K. V. S. V. N. Raju

This author has not been identified. Look up 'K. V. S. V. N. Raju' in Google
runs on