× Foundations of Security Analysis and DesignTutorial Lecturesherausgegeben von Riccardo Focardi und Roberto GorrieriMitwirkendeHerausgegeben vonRiccardo FocardiHerausgegeben vonRoberto GorrieriIncludes supplementary material: sn. pub/extras