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
Last update Sun May 19 23:27:51 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
