[IEEE 19th IEEE Computer Security Foundations Workshop (CSFW'06) - Venice, Italy (05-07 July 2006)] 19th IEEE Computer Security Foundations Workshop (CSFW'06) - Cryptographically Sound Theorem Proving
Sprenger, C., Backes, M., Basin, D., Pfitzmann, B., Waidner, M.Year:
2006
Language:
english
DOI:
10.1109/csfw.2006.10
File:
PDF, 369 KB
english, 2006