A formalization-based vulnerability detection method for cross-subject network components - Chen, Jinfu; Xie, Haodi; Cai, Saihua; Geng, Ye; Yin, Yemin; Zhang, Zikang (IEEE ... International Conference on Trust, Security and Privacy in Computing and Communications (Online), 2022)
Keywords: Analytical models; Buffer overflows; component testing; Computational modeling; cross-subject network components; Formal languages; formal verification; Privacy; Runtime; Software; vulnerability propagation