Information Security Seminar 

06/11/2009, 16:15 — 17:15 — Room P3.10, Mathematics Building
Michal Walicki, Institute of Informatics, U Bergen, Norway

Sequence Logic - a Flexible Tool for Analysis of (Epistemic) Protocols

I give an overview of sequence logic, SL, which allows one to model and reason about agents which

1. are equipped with arbitrary internal logics and
2. can interact over linear time.

Changing the agents’ logic or the model of time can affect correctness of a protocol. Using simple examples, I show how this can be analysed in SL.