Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures
Product DescriptionThe increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of research groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security aspects. This book presents thoroughly revised versions of eight tutorial lectures [...]
