卡斯珀 83份文件引用(1999–2018) 软件作者： Gavin Lowe/牛津大学计算实验室 相关软件： AVISPA；TAPS；OFMC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ProVerify公司 49篇文献引用(2005–2023) 软件作者： inria.fr；布鲁诺·布兰切特 相关软件： 阿维斯帕；罗望子；OFMC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
SATMC公司 6篇文献引用(2005–2018) 软件作者： 亚历山德罗·阿曼多（Alessandro Armando）、卢卡·孔帕尼亚（Luca Compagna） 相关软件： AVISPA；OFMC；Maude-NPA… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）