Information Flow: Foundations and Applications to Security

duration	10th April 2009 to 31st December 2009
people	Samson Abramsky \| Janet Sadler
themes	Foundations, Logic and Structures