[ACM Press the Second International Conference - Coimbatore UNK, India (2012.10.26-2012.10.28)] Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology - CCSEIT '12 - Formal verification of the Extensible Authentication Protocol using SPIN
Hegde, Manu S., Jnanamurthy, Hk, Singh, SanjayYear:
2012
Language:
english
DOI:
10.1145/2393216.2393278
File:
PDF, 1022 KB
english, 2012