19. CSFW 2006:
Venice,
Italy
19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006), 5-7 July 2006, Venice, Italy.
IEEE Computer Society 2006, ISBN 0-7695-2615-2 BibTeX
Information Flow
Games,
Plans,
and Transformations
Access Control
Security Protocol Analysis
Language,
Interaction,
and Change
Language,
Obfuscation,
and Robustness
Authorization and Trust
Protocols and Cryptographic Foundations
Copyright © Sat May 16 23:04:10 2009
by Michael Ley (ley@uni-trier.de)