Home > 2007 > May

Monthly Archives: May, 2007

A A

25 May 2007 Ana Matos, talk on Non-disclosure for Distributed Mobile Code: Non-disclosure for Distributed Mobile Code Ana Matos Instituto Superior Técnico Lisbonne This talk is about ensuring confidentiality in networks. More specifically, it is about controlling information flows between subjects that have been given ... More
22 May 2007 Enrico Tassi, 11h - A modular approach to the formalisation of finite groups: A modular approach to the formalisation of finite groups Enrico Tassi, 11h - Joint Centre + University of Bologna. The claim of the projects is that it is possible to build reusable and easy to compose libraries of formalised ... More
12 May 2007 Jay Ligatti, Princeton, Monitoring software to enforce run-time policies: Monitoring software to enforce run-time policies Jay Ligatti Princeton The first half of this talk defines a model for dynamic policy enforcement. we abstract run-time program monitors as “edit automata” and analyze the ... More