A formalization-based vulnerability detection method for cross-subject network components | IEEE Conference Publication | IEEE Xplore