N. V. Narendra Kumar, R. K. Shyamasundar. POSTER: Dynamic Labelling for Analyzing Security Protocols. In Indrajit Ray, Ninghui Li, Christopher Kruegel, editors, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-6, 2015. pages 1665-1667, ACM, 2015. [doi]
Abstract is missing.