Abstracting Faceted Execution

Keyphrases

• Security Labels 100%
• Dynamic Information Flow Control 100%
• Static Mechanism 50%
• Runtime Checking 50%
• Linguistic Paradigm 50%
• Program Logic 50%
• Multiple Versions 50%
• Security Type System 50%
• Heap Abstraction 50%

Computer Science

• Information Flow Control 100%
• Multiple Version 50%