Publication Overview

Michael Backes and Birgit Pfitzmann and Michael Waidner

Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library

Published in: Int. J. Inf. Sec.
Year: 2005
Volume: 4
Pages: 135-154