WITS 2005: Long Beach, California, USA

Catherine Meadows (Ed.): Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005. ACM 2005, ISBN 1-58113-980-2

Rachid Echahed, Frédéric Prost:
Handling declared information leakage: extended abstract. 1-4
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Policy framings for access control. 5-11
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad:
Specifying Kerberos 5 cross-realm authentication. 12-26
Steffen M. Hansen, Jakob Skriver, Hanne Riis Nielson:
Using static analysis to validate the SAML single sign-on protocol. 27-40
Riccardo Focardi, Matteo Maffei, Francesco Placella:
Inferring authentication tags. 41-49
Bart Jacobs, Wolter Pieters, Martijn Warnier:
Statically checking confidentiality via dynamic labels. 50-56
Adam Barth, John C. Mitchell:
Enterprise privacy promises and enforcement. 58-66
Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr:
Formal prototyping in early stages of protocol design. 67-80
Peter Y. A. Ryan:
A variant of the Chaum voter-verifiable scheme. 81-88