|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 27 | Martin Scheffler, Jan P. Springer, Bernd Froehlich 0001 |
Object-Capability Security in Virtual Environments.  |
VR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 23 | Mark Samuel Miller |
Tradeoffs in retrofitting security: an experience report. |
DLS |
2007 |
DBLP DOI BibTeX RDF |
object-capability, security, access control, language |
| 18 | David A. Wagner 0001 |
Object capabilities for security. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 13 | Roland Wismüller, Damian Ludwig, Felix Breitweiser |
Extending the Object-Capability Model with Fine-Grained Type-Based Capabilities. |
J. Object Technol. |
2024 |
DBLP DOI BibTeX RDF |
|
| 13 | Lianghao Shen, Yusong Tan, Pan Dong, Jun Ma 0015, Xiaoling Li 0002 |
A Simple and Efficient Object-Capability Revocation Method. |
ITCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Jörn Koepe |
Object-Capability as a Means of Permission and Authority in Software Systems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 13 | David Swasey, Deepak Garg 0001, Derek Dreyer |
Robust and compositional verification of object capability patterns. |
Proc. ACM Program. Lang. |
2017 |
DBLP DOI BibTeX RDF |
|
| 13 | Hajoon Ko, Jiong Jin, Sye Loong Keoh |
ViotSOC: Controlling Access to Dynamically Virtualized IoT Services using Service Object Capability. |
CPSS@AsiaCCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 13 | Kurt Kosanke, François B. Vernadat, Martin Zelm |
Means to enable enterprise interoperation: CIMOSA Object Capability Profiles and CIMOSA Collaboration View. |
Annu. Rev. Control. |
2015 |
DBLP DOI BibTeX RDF |
|
| 13 | Dustin Rhodes, Tim Disney, Cormac Flanagan |
Dynamic detection of object capability violations through model checking. |
DLS |
2014 |
DBLP DOI BibTeX RDF |
|
| 13 | Adrian Mettler, David A. Wagner 0001 |
Class properties for security review in an object-capability subset of Java: (short paper). |
PLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 13 | Toby C. Murray |
Analysing the security properties of object-capability patterns. |
|
2010 |
RDF |
|
| 13 | Toby C. Murray, Gavin Lowe |
Analysing the Information Flow Properties of Object-Capability Patterns. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 10 | Marc Stiegler |
Emily: A High Performance Language for Enabling Secure Cooperation. |
C5 |
2007 |
DBLP DOI BibTeX RDF |
|
| 6 | Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro |
The Structure of Authority: Why Security Is Not a Separable Concern. |
MOZ |
2004 |
DBLP DOI BibTeX RDF |
|
| 6 | Jack C. Wileden, Alexander L. Wolf, Charles D. Fisher, Peri L. Tarr |
PGRAPHITE: An Experiment in Persistent Typed Object Management. |
Software Development Environments (SDE) |
1988 |
DBLP DOI BibTeX RDF |
|
| 5 | Akshay Krishnamurthy, Adrian Mettler, David A. Wagner 0001 |
Fine-grained privilege separation for web applications. |
WWW |
2010 |
DBLP DOI BibTeX RDF |
object-capabilities, privilege separation, web applications |
| 5 | Matej Kosík |
Taming of Pict. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 5 | Fred Spiessens, Jerry den Hartog, Sandro Etalle |
Know What You Trust. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
| 5 | Duncan A. Grove, Toby C. Murray, Chris A. Owen, Chris J. North, J. A. Jones, Mark R. Beaumont, Bradley D. Hopkins |
An Overview of the Annex System. |
ACSAC |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license