MulVAL公司 8份文件引用(2010–2023) 软件作者： Ou，X.，Govindavajhala，S.，Appel，A.W。 相关软件： ADEPTS；分享；SPSS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
AD工具 3份文件引用(2014–2021) 软件作者： 芭芭拉·科尔迪（Barbara Kordy）、彼得·科尔迪（Piotr Kordy，Sjouke Mauw）、帕特里克·施韦策（Patrick Schweitzer） 相关软件： MuSig2；GitHub；ADEPTS… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
StateSec（状态秒） 1份文件引用(2020) 软件作者： Boite，J。；Nardin，P.-A。；Rebecchi，F。；布埃特，M。；柯南，V。 相关软件： NetKAT；SGS；SDSNM… 主要字段： 计算机科学（68-XX）