![](/sites/default/files/styles/workshop_banner_sm_1x/public/logic_horizontal.png.jpg?itok=bl1RVreS)
Abstract
Compositional reasoning about (possibly large, complex) distributed systems requires tools for reasoning about the flow of information between their components. I describe some first ideas for modelling and reasoning about interfaces between system models, illustrating with examples from security policy modelling.