Possum PIE: An Integrated Approach to Cloud-Security Analysis

This document outlines our vision for a unified framework to analyse all aspects of cloud security including identity and access control and network security, and network topology. We can check for a variety of properties including reachability and information flow.