Search results for "WITS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr	Formal prototyping in early stages of protocol design.	WITS	2005	DBLP DOI BibTeX RDF
1	Rachid Echahed, Frédéric Prost	Handling declared information leakage: extended abstract.	WITS	2005	DBLP DOI BibTeX RDF
1	Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad	Specifying Kerberos 5 cross-realm authentication.	WITS	2005	DBLP DOI BibTeX RDF
1	Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002	Policy framings for access control.	WITS	2005	DBLP DOI BibTeX RDF
1	Riccardo Focardi, Matteo Maffei, Francesco Placella	Inferring authentication tags.	WITS	2005	DBLP DOI BibTeX RDF
1	Steffen M. Hansen, Jakob Skriver, Hanne Riis Nielson	Using static analysis to validate the SAML single sign-on protocol.	WITS	2005	DBLP DOI BibTeX RDF	authentication, static analysis, process calculi, protocol validation
1	Catherine Meadows 0001 (eds.)	Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005	WITS	2005	DBLP BibTeX RDF
1	Peter Y. A. Ryan	A variant of the Chaum voter-verifiable scheme.	WITS	2005	DBLP DOI BibTeX RDF
1	Bart Jacobs 0001, Wolter Pieters, Martijn Warnier	Statically checking confidentiality via dynamic labels.	WITS	2005	DBLP DOI BibTeX RDF	(Higher Order) theorem proving, formal verification, static analysis, abstract interpretation, confidentiality
1	Adam Barth, John C. Mitchell	Enterprise privacy promises and enforcement.	WITS	2005	DBLP DOI BibTeX RDF	policy summary, modal logic, privacy policy, P3P, EPAL

Publications at "WITS"( http://dblp.L3S.de/Venues/WITS )