|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker |
capDL: a language for describing capability-based systems. |
ApSys |
2010 |
DBLP DOI BibTeX RDF |
SEL4, capability distribution, capabilities, security analysis, isabelle |
| 1 | Fred Spiessens, Peter Van Roy |
A Practical Formal Model for Safety Analysis in Capability-Based Systems. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajay Chander, John C. Mitchell, Drew Dean |
A State-Transition Model of Trust Management and Access Control. |
CSFW |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey S. Chase, Henry M. Levy, Michael J. Feeley, Edward D. Lazowska |
Sharing and Protection in a Single-Address-Space Operating System. |
ACM Trans. Comput. Syst. |
1994 |
DBLP DOI BibTeX RDF |
capability-based systems, microkernel operating systems, single-address-space operating systems, wide-address architectures, protection, object-oriented database systems, persistent storage, 64-bit architectures |
| 1 | Li Gong |
On Security in Capability-Based Systems. |
Operating Systems Review |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Y. Kain, Carl E. Landwehr |
On Access Checking in Capability-Based Systems. |
IEEE Trans. Software Eng. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Y. Kain, Carl E. Landwehr |
On Access Checking in Capability-Based Systems. |
IEEE Symposium on Security and Privacy |
1986 |
DBLP BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")