Foundations of Security Analysis and Design 3 : FOSAD 2004/2005 Tutorial Lectures

The 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,