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