08/03/2002, Friday, 16:30–17:30 Room P3.10, Mathematics Building Vasco Vasconcelos, Faculdade de Ciências da Universidade de Lisboa Secure information flow as typed process behaviour