Using Architecture to Reason about Information Security

Stephen Chong, Ron van der Meyden

We demonstrate, by a number of examples, that information-flow security properties can be proved from abstract architectural descriptions, that describe only the causal structure o…