Loading…
A formalization-based vulnerability detection method for cross-subject network components
Chen, Jinfu, Xie, Haodi, Cai, Saihua, Geng, Ye, Yin, Yemin, Zhang, Zikang
Published in IEEE ... International Conference on Trust, Security and Privacy in Computing and Communications (Online) (01.12.2022)
Published in IEEE ... International Conference on Trust, Security and Privacy in Computing and Communications (Online) (01.12.2022)
Get full text
Conference Proceeding