ByNobleID
    Foundations of security analysis and design IV : FOSAD 2006/2007 : tutorial lectures | NobleID