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]
No reviews for this publication, yet.