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.

 

Overview

 

 

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)