Logics in Security 2010

Program


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

Modal Logic in Security

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

Dynamic Logic in Usage Control and Protocol Specification

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

Logics for Trust

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

Computational Approaches

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

Information Flow and Alert Correlation