Compositional Security

The goal of this project is to develop a general theory of compositional security. This theory will enable the modular analysis of security properties of systems as well as modular construction of secure systems.





A Domain-Independent Theory of Compositional Security



Domain-Specific Theories of Compositional Security



Protocol Composition Logic (PCL) (A Logic for Compositional Reasoning about Security Protocols)