A methodology for the structured security analysis of interconnections. - Daniel Boonstra; Harm A. Schotanus; Cor A. A. Verkoelen; Andre C. M. Smulders (MILCOM, 2011)