Security Properties as Nested Causal Statements

Matvey Soloviev, Joseph Y. Halpern

Thinking in terms of causality helps us structure how different parts of a system depend on each other, and how interventions on one part of a system may result in changes to other…