Search results for "proof-carrying authorization"

Searching for phrase proof-carrying authorization (changed automatically) with no syntactic query expansion in all metadata.

Found 7 publication records. Showing 7 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Kumar Avijit, Anupam Datta, Robert Harper	Distributed programming with distributed authorization.	TLDI	2010	DBLP DOI BibTeX RDF	phase distinction, proof-carrying authorization, distributed programming, logical frameworks, authorization logic
2	Avik Chaudhuri, Deepak Garg	PCAL: Language Support for Proof-Carrying Authorization Systems.	ESORICS	2009	DBLP DOI BibTeX RDF
2	Lujo Bauer, Michael A. Schneider, Edward W. Felten, Andrew W. Appel	Access Control on the Web Using Proof-carrying Authorization.	DISCEX	2003	DBLP DOI BibTeX RDF
1	Deepak Garg, Frank Pfenning	A Proof-Carrying File System.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	proof-carrying authorization, Access control, logic, file system
1	Juan Chen, Ravi Chugh, Nikhil Swamy	Type-preserving compilation of end-to-end verification of security enforcement.	PLDI	2010	DBLP DOI BibTeX RDF	bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
1	Lujo Bauer, Limin Jia, Michael K. Reiter, David Swasey	xDomain: cross-border proofs of access.	SACMAT	2009	DBLP DOI BibTeX RDF	logic-based access control, trust management, distributed authorization
1	Chris Lesniewski-Laas, Bryan Ford, Jacob Strauss, Robert Morris, M. Frans Kaashoek	Alpaca: extensible authorization for distributed services.	ACM Conference on Computer and Communications Security	2007	DBLP DOI BibTeX RDF	security, cryptography, authorization, theorem-proving, logic

Displaying result #1 - #7 of 7 (100 per page; Change: )

Maintained by Jörg Diederich.

Based upon DBLP by Michael Ley.