N. V. Narendra Kumar R. K. Shyamasundar Analyzing Protocol Security Through Information-Flow Control. 159-171 2017 ICDCIT https://doi.org/10.1007/978-3-319-50472-8_13 conf/icdcit/2017 db/conf/icdcit/icdcit2017.html#KumarS17