dblp.uni-trier.de www.uni-trier.de

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)