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 http://iospress.metapress.com/content/j53l6nl84wcjfmf0/