07/04/2000, Friday, 16:30–17:30 Room P3.10, Mathematics Building Luca Viganò, U Freiburg, Germany Belief logics for security