A formalization-based vulnerability detection method for cross-subject network components.

Jinfu Chen, Haodi Xie, Saihua Cai, Ye Geng, Yemin Yin, Zikang Zhang

Browse the full TrustCom paper archive.