Composable Encapsulation Policies
No abstract available.
Related papers
- Composing security policies with polymer PLDI 2005
- Composable thread coloring PPoPP 2010
- Access control to reflection with object ownership DLS 2015
- Immutability and Encapsulation for Sound OO Information Flow Control TOPLAS 2023
- Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies OOPSLA 2012
- A language for automatically enforcing privacy policies POPL 2012
- Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration) GPCE 2015
- A type discipline for authorization policies TOPLAS 2007