Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 T

FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD al