Daniele Codetta Raiteri: A Preliminary Application of Generalized Fault Trees to Security. SECRYPT 2013: 609-614