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]
@inproceedings{RajuKVR10,
title = {Formal Verification of IEEE802.16m PKMv3 Protocol Using CasperFDR},
author = {K. V. Krishnam Raju and V. Valli Kumari and N. Sandeep Varma and K. V. S. V. N. Raju},
year = {2010},
doi = {10.1007/978-3-642-15766-0_101},
url = {http://dx.doi.org/10.1007/978-3-642-15766-0_101},
tags = {protocol},
researchr = {https://researchr.org/publication/RajuKVR10},
cites = {0},
citedby = {0},
pages = {590-595},
booktitle = {Information and Communication Technologies - International Conference, ICT 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings},
editor = {Vinu V. Das and R. Vijayakumar and K. G. Srinivasa and Hatim A. Aboalsamh and Mohammad Hammoudeh and Vahid Salmani and Dinesh Kumar Tyagi and Anjali Mohapatra and Bharatheesh Jaysimha and Eliathamby Ambikairajah and Jonathan M. Blackledge},
volume = {101},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-642-15765-3},
}