Date | Topic | Slides | Notes | |
30.08.10 | Introduzione | |||
31.08.10 | Propositional Logic | |||
31.08.10 | First-Order Logic | |||
31.08.10 | First-Order Theories and Set Theory | |||
31.08.10 | Modal Logics | |||
01.09.10 | Labeled Deduction Systems for Modal Logics | |||
02.09.08 | Labeled Deduction Systems for Non-Classical Logics | |||
03.09.08 | Single Sign On | ppt | ||
03.09.08 | Analysis of Single Sign On | |||
03.09.08 | OFMC | |||
03.09.08 | Distributed Temporal Logic for Security Protocol Analysis | |||
04.09.08 | Modal Deduction Systems for Quantum State Transformations |