Normal view
MARC view
Pillai, N.R. [Co-Guide] (Personal Name)
Machine generated authority record.
Work cat.: (OSt)57429: Shinde, A.H. 14436, Formal Specification and Verfication of Cryptographic Protocols using Pro Verif and AVISPA, 2015