1
Foundations of Security Analysis and Design III [E-Book] / FOSAD 2004/2005 Tutorial Lectures