Seminário Segurança de Informação 

06/11/2009, 16:15 — 17:15 — Sala P3.10, Pavilhão de Matemática
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.