Built-in Object Security
Abstract elided by the publisher.
Related papers
- Type-Safe Linking and Modular Assembly Language POPL 1999
- Verified security of BLT signature scheme CPP 2020
- Finding application errors and security flaws using PQL: a program query language OOPSLA 2005
- Secure the Clones - Static Enforcement of Policies for Secure Object Copying ESOP 2011
- Model-based security analysis of feature-oriented software product lines GPCE 2018
- Reconciling Objects and Multilevel Security (Panel) OOPSLA 1993
- Integrating Object-Oriented Technolgy and Security Technology: A Panel Discussion OOPSLA 1993
- Secure Compilation of Object-Oriented Components to Protected Module Architectures APLAS 2013