Non-interference proof techniques for the analysis of cryptographic protocols.

Michele Bugliesi Sabina Rossi Non-interference proof techniques for the analysis of cryptographic protocols. 87-113 2005 13 Journal of Computer Security 1 db/journals/jcs/jcs13.html#BugliesiR05