N. V. Narendra Kumar, R. K. Shyamasundar. Analyzing Protocol Security Through Information-Flow Control. In Padmanabhan Krishnan, P. Radha Krishna, Laxmi Parida, editors, Distributed Computing and Internet Technology - 13th International Conference, ICDCIT 2017, Bhubaneswar, India, January 13-16, 2017, Proceedings. Volume 10109 of Lecture Notes in Computer Science, pages 159-171, Springer, 2017. [doi]
Abstract is missing.