Foundations of Security Analysis and Design IV ; FOSAD 2006/2007 Turtorial Lectures

This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2006/2007, held in Bertinoro, Italy, in September 2006 and September 2007.