A methodology for the structured security analysis of interconnections | IEEE Conference Publication | IEEE Xplore