Media type: E-Article Title: Non-interference proof techniques for the analysis of cryptographic protocols Contributor: Bugliesi, Michele; Rossi, Sabina imprint: IOS Press, 2005 Published in: Journal of Computer Security Language: Not determined DOI: 10.3233/jcs-2005-13104 ISSN: 1875-8924; 0926-227X Keywords: Computer Networks and Communications ; Hardware and Architecture ; Safety, Risk, Reliability and Quality ; Software Origination: Footnote: