Amanote Research
Register
Sign In
Cryptographically Sound Theorem Proving
doi 10.1109/csfw.2006.10
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
C. Sprenger
M. Backes
D. Basin
B. Pfitzmann
M. Waidner
Publisher
IEEE
