1
Formal Aspects in Security and Trust (vol. # 3866) [E-Book] / Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
2
Foundations of Security Analysis and Design III [E-Book] / FOSAD 2004/2005 Tutorial Lectures