> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Non-interference proof techniques for the analysis of cryptographic protocols Beteiligte: Bugliesi, Michele; Rossi, Sabina Erschienen: IOS Press, 2005 Erschienen in: Journal of Computer Security Sprache: Nicht zu entscheiden DOI: 10.3233/jcs-2005-13104 ISSN: 1875-8924; 0926-227X Schlagwörter: Computer Networks and Communications ; Hardware and Architecture ; Safety, Risk, Reliability and Quality ; Software Entstehung: Anmerkungen: