软件搜索-zbMATH Open

NRL公司

swMATH ID:	12158
软件作者：	凯瑟琳·梅多斯
描述：	NRL协议分析器：概述。NRL协议分析器是一个用Prolog编写的原型专用验证工具，用于分析用于验证主体和服务以及在网络中分发密钥的密码协议。本文概述了该分析器的工作原理，并描述了其迄今为止的成就。我们还展示了Prolog语言的使用如何在分析器的设计和实现中为我们带来好处。
主页：	http://www.sciencedirect.com/science/article/pii/07431066950095X
关键词：	NRL协议分析仪;Prolog语言
相关软件：	莫德;AVISPA公司;OFMC公司;莫德NPA;卡斯珀;ProVerify公司;伊莎贝尔;自旋蛋白;幼儿保育和教育;MTT公司;SATMC公司;亚帕;廷巴克;洛利;皮克特;飞天螳螂;塔马林;LOGEN公司;棱镜;EasyCrypt公司
引用于：	30文件

1出版物描述软件，包括1出版物以zbMATH为单位	年份
NRL协议分析器：概述。 Zbl 0871.68052号凯瑟琳·梅多斯	1996

7	何塞·梅塞盖尔·瓜伊塔
5	圣地亚哥埃斯科瓦尔
5	凯瑟琳·梅多斯。
三	伊利亚诺·塞维萨托
三	普拉桑纳·塔蒂
2	David A.Basin。
2	亚尼克·骑士
2	约翰·米切尔（John C.Mitchell）。
2	米歇尔·鲁西诺维奇
2	安德烈·斯克洛夫
2	卢卡·维甘诺
1	卡梅尔，阿迪
1	玛丽亚·阿尔普特
1	迈托·阿拉皮尼斯
1	黛米斯·巴利斯
1	詹保罗·贝拉
1	布鲁诺·布兰切特
1	马可·波扎诺
1	卡洛斯·卡莱罗
1	路易吉亚·卡卢奇·埃利罗（Luigia Carlucci Aiello）
1	克雷默斯，Cas J.F。
1	阿努帕姆·达塔
1	穆拉德·德巴比
1	乔治·德尔扎诺
1	安特·德里克
1	克莱尔·迪克森
1	玛丽·杜弗洛特
1	迈克尔·费希尔
1	杰弗里·福斯特。
1	Mari Carmen Fernández加戈
1	让·古鲍特·拉雷克
1	克里斯蒂安·卢梅扎努
1	法比奥·马萨奇
1	穆罕默德·梅杰里
1	Fumio沟口
1	塞巴斯蒂安·亚历山大·莫德谢姆
1	劳伦斯·查尔斯·保尔森
1	詹姆·拉莫斯
1	Joy N.里德。
1	穆里尔·罗杰
1	阿纳布·罗伊
1	圣地亚哥，索尼娅
1	朱莉娅·萨皮娜
1	维塔利·什马提科夫
1	简·E·辛克莱。
1	马克·奥利弗·斯特尔
1	屋大维乌德雷亚
1	范德霍克，威比
1	库马尔·内拉吉（Kumar Neeraj Verma）
1	温、吴