Analyzing Protocol Security Through Information-Flow Control.

N. V. Narendra Kumar, R. K. Shyamasundar

Browse the full ICDCIT paper archive.