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