Search results for "capability systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Jonathan S. Shapiro, Sam Weber	Verifying the EROS Confinement Mechanism. (PDF / PS)	IEEE Symposium on Security and Privacy	2000	DBLP DOI BibTeX RDF	capability systems, verification, formal specification, operating systems, confinement, proof of correctness
2	I-Lung Kao, Randy Chow	An Extended Capability Architecture To Enforce Dynamic Access Control Policies.	ACSAC	1996	DBLP DOI BibTeX RDF	extended capability architecture, dynamic access control policies, user process, object access, access request, centralized access control lists, object protection, capability based systems, static access control policies, access privileges, capability systems, access history, capability management, distributed systems, distributed system, distributed processing, security policies, access rights, object manager, object managers
1	Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig	Capability wrangling made easy: debugging on a microkernel with valgrind.	VEE	2010	DBLP DOI BibTeX RDF	l4, valgrind, capability, microkernel
1	Philip W. L. Fong, Mohd M. Anwar, Zhen Zhao	A Privacy Preservation Model for Facebook-Style Social Network Systems.	ESORICS	2009	DBLP DOI BibTeX RDF
1	Hirotoshi Yasuoka, Tachio Terauchi	Polymorphic Fractional Capabilities.	SAS	2009	DBLP DOI BibTeX RDF
1	Toby C. Murray, Duncan A. Grove	Non-delegatable authorities in capability systems.	Journal of Computer Security	2008	DBLP DOI BibTeX RDF
1	Fred Spiessens, Jerry den Hartog, Sandro Etalle	Know What You Trust.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
1	Philip W. L. Fong	Discretionary capability confinement.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Scoping rule, Access control, Java Virtual Machine, Capability, Language-based security, Confinement
1	David Wagner	Object capabilities for security.	PLAS	2006	DBLP DOI BibTeX RDF
1	Philip W. L. Fong	Discretionary Capability Confinement.	ESORICS	2006	DBLP DOI BibTeX RDF
1	Fred Spiessens, Peter Van Roy	A Practical Formal Model for Safety Analysis in Capability-Based Systems.	TGC	2005	DBLP DOI BibTeX RDF
1	Jonathan S. Shapiro	Vulnerabilities in Synchronous IPC Designs.	IEEE Symposium on Security and Privacy	2003	DBLP DOI BibTeX RDF	capability systems, operating systems, vulnerability, interprocess communication
1	Mark S. Miller, Jonathan S. Shapiro	Paradigm Regained: Abstraction Mechanisms for Access Control.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Virgil D. Gligor	Review and Revocation of Access Privileges Distributed with PKI Certificates (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
1	Gregory Saunders, Michael Hitchens, Vijay Varadharajan	An Analysis of Access Control Models.	ACISP	1999	DBLP DOI BibTeX RDF
1	Marie Rose Low, Bruce Christianson	Fine Grained Object Protection in Unix.	Operating Systems Review	1993	DBLP DOI BibTeX RDF	UNIX
1	Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy	Lightweight Remote Procedure Call.	ACM Trans. Comput. Syst.	1990	DBLP DOI BibTeX RDF
1	Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy	Lightweight Remote Procedure Call.	SOSP	1989	DBLP DOI BibTeX RDF
1	Cecelia Jankowski	Engineering workstation applications to systems design (panel session): life above the IC.	DAC	1985	DBLP DOI BibTeX RDF
1	Maurice V. Wilkes	Hardware Support for Memory Protection: Capability Implementations.	ASPLOS	1982	DBLP DOI BibTeX RDF