[IEEE 2008 21st IEEE Computer Security Foundations Symposium - Pittsburgh, PA, USA (2008.06.23-2008.06.25)] 2008 21st IEEE Computer Security Foundations Symposium - Cryptographically-Sound Protocol-Model Abstractions
Sprenger, Christoph, Basin, DavidYear:
2008
Language:
english
DOI:
10.1109/csf.2008.19
File:
PDF, 571 KB
english, 2008