Fall 2016

Modelling Interfaces in Distributed Systems: Some First Steps

Thursday, Dec. 8, 2016 11:00 am11:20 am

Add to Calendar


Calvin Lab Auditorium

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.