Event
Distributed system security via logical frameworks
Friday, November 18, 2005 15:30
McConnell Engineering Building
3480 rue University, Montreal, QC, H3A 0E9, CA
Frank Pfenning, Carnegie Mellon University