"Understanding Security Goals Provided by Crypto-Protocol Implementations."

Jan Jürjens (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics