卡斯珀 83份文件引用（1999年至2018年） 软件作者： Gavin Lowe/牛津大学计算实验室 相关软件： AVISPA；TAPS；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
AVISPA公司 82篇文献引用(2005–2023) 软件作者： 信息社会技术方案下的欧洲共同体（1998-2002） 相关软件： 卡斯珀；ProVerify；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
快速 引用于7份文件(2011–2020) 软件作者： 海参、布鲁诺；Basin，David A。；卡洛斯·卡莱罗 相关软件： 阿克斯；YAPA；Apte… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
JavaSPI（JavaSPI） 1份文件引用(2018) 软件作者： 里卡多·西斯托；比塔萨·科佩特（Bettasa Copet），皮尔吉乌塞佩（Piergiuseppe）；阿瓦莱，马蒂奥；阿尔弗雷多·皮隆蒂 相关软件： MJ；AGVI；Bouncy Castle… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
LDYIS公司 引用于3份文件（2008年至2011年） 软件作者： 阿莱西奥·洛穆西奥；沃伊切赫·彭泽克 相关软件： MCMAS-X；MCMAS；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SeVe公司 2份文件引用(2012–2015) 软件作者： Luu，Anh Tuan；孙军；刘，杨；董金松 相关软件： 棱镜；拍打；Casper… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MoSS公司 1份文件引用(2021) 软件作者： 埃米尔·赫茨伯格；莱博维茨，赫米；西塔，埃瓦；萨拉·沃托尼亚克 相关软件： 隐秘HOL；塔马林；GNUC… 主要字段： 信息与通信理论，电路（94-XX）