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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: IEEE Virtual Reality Conference 2008 (VR 2008), 8-12 March 2008, Reno, Nevada, USA, Proceedings, pp. 51-58, 2008, IEEE Computer Society, 978-1-4244-1971-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Mark Samuel Miller |
Tradeoffs in retrofitting security: an experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 2007 Symposium on Dynamic Languages, DLS 2007, October 22, 2007, Montreal, Quebec, Canada, pp. 1, 2007, ACM, 978-1-59593-868-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
object-capability, security, access control, language |
18 | David A. Wagner 0001 |
Object capabilities for security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006, pp. 1-2, 2006, ACM, 1-59593-374-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Roland Wismüller, Damian Ludwig, Felix Breitweiser |
Extending the Object-Capability Model with Fine-Grained Type-Based Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 23(1), pp. 1, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC ![In: ITCC 2022: 4th International Conference on Information Technology and Computer Communications, Guangzhou, China, June 23 - 25, 2022, pp. 132-138, 2022, ACM, 978-1-4503-9682-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jörn Koepe |
Object-Capability as a Means of Permission and Authority in Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.07154, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | David Swasey, Deepak Garg 0001, Derek Dreyer |
Robust and compositional verification of object capability patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 1(OOPSLA), pp. 89:1-89:26, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSS@AsiaCCS ![In: Proceedings of the 3rd ACM Workshop on Cyber-Physical System Security, CPSS@AsiaCCS 2017, Abu Dhabi, United Arab Emirates, April 2, 2017, pp. 69-80, 2017, ACM, 978-1-4503-4956-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annu. Rev. Control. ![In: Annu. Rev. Control. 39, pp. 94-101, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Dustin Rhodes, Tim Disney, Cormac Flanagan |
Dynamic detection of object capability violations through model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: DLS'14, Proceedings of the 10th ACM Symposium on Dynamic Languages, part of SLASH 2014, Portland, OR, USA, October 20-24, 2014, pp. 103-112, 2014, ACM, 978-1-4503-3211-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, PLAS 2010, Toronto, ON, Canada, 10 June, 2010, pp. 7, 2010, ACM, 978-1-60558-827-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Toby C. Murray |
Analysing the security properties of object-capability patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
13 | Toby C. Murray, Gavin Lowe |
Analysing the Information Flow Properties of Object-Capability Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers, pp. 81-95, 2009, Springer, 978-3-642-12458-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Marc Stiegler |
Emily: A High Performance Language for Enabling Secure Cooperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C5 ![In: Fifth International Conference on Creating, Connecting and Collaborating through Computing (C5 2007), 24-26 January 2007, Kyoto, Japan, pp. 163-169, 2007, IEEE Computer Society, 978-0-7695-2806-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOZ ![In: Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers, pp. 2-20, 2004, Springer, 3-540-25079-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, Massachusetts, USA, November 28-30, 1988, pp. 130-142, 1988, ACM, 0-89791-290-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
5 | Akshay Krishnamurthy, Adrian Mettler, David A. Wagner 0001 |
Fine-grained privilege separation for web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 551-560, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
object-capabilities, privilege separation, web applications |
5 | Matej Kosík |
Taming of Pict. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings, pp. 610-621, 2008, Springer, 978-3-540-77565-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
5 | Fred Spiessens, Jerry den Hartog, Sandro Etalle |
Know What You Trust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers, pp. 129-142, 2008, Springer. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 23rd Annual Computer Security Applications Conference (ACSAC 2007), December 10-14, 2007, Miami Beach, Florida, USA, pp. 341-352, 2007, IEEE Computer Society, 0-7695-3060-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|