Foundations of security analysis and design IV. FOSAD 2006/2007 tutorial lectures
scientific article; zbMATH DE number 5594461