Stop the war!
Остановите войну!
for scientists:
default search action
WITS@POPL 2005: Long Beach, CA, USA
- Catherine Meadows:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.