Program

Monday, August 9, 11:00-12:30:

Modal Logic in Security

• Simon Kramer and Andrey Rybalchenko A Multi-modal framework for achieving accountability in multi-agent systems
• Valerio Genovese, Laura Giordano, Valentina Gliozzi and Gian Luca Pozzato A conditional approach to access control logics

Tuesday, August 10, 11:00-12:30:

Dynamic Logic in Usage Control and Protocol Specification

• Robert Demolombe Obligations with deadlines: a formalization in Dynamic Deontic Logic
• Andreas Herzig and Nicolas Troquard Dynamic languages of propositional control for protocol specification

Wednesday, August 11, 11:00-12:30:

Logics for Trust

• Will Harwood, John A. Clark and Jerem Jacob Networks of Trust and Distrust: Towards Logical Reputation Systems
• Julien Bourdon, Guillaume Feuillade, Andreas Herzig and Emiliano Lorini Trust in complex actions

Thursday, August 12, 11:00-12:30:

Computational Approaches

• Simon Kramer, Rajeev Goré and Eiji Okamoto Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the web of trust, PKIs, and ID-Based cryptography
• Yannick Chevalier and Mounira Kourjieh New decidability result for ground entailment problems and application to security protocols

Friday, August 13, 11:00-12:30:

Information Flow and Alert Correlation

• Michael Alber, Andres Cordon-Franco, Hans van Ditmarsh, David Fernandez-Duque, Joost J Joosten and Fernando Soler-Toscano Secure communication of local states in multi-agent systems
• Salem Benferhat and Karima Sedki A preference logic-based approach for alert correlation