TY - GEN
AU - Bugliesi, Michele
AU - Rossi, Sabina
TI - Non-interference proof techniques for the analysis of cryptographic protocols
PB - IOS Press
SN - 1875-8924
SN - 0926-227X
KW - Computer Networks and Communications
KW - Hardware and Architecture
KW - Safety, Risk, Reliability and Quality
KW - Software
PY - 2005
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation