×

NRL公司

swMATH标识: 12158
软件作者: 梅多斯,凯瑟琳
说明: NRL协议分析器:概述。NRL协议分析器是一个用Prolog编写的原型专用验证工具,用于分析在网络中用于验证主体和服务以及分发密钥的密码协议。本文对该分析仪的工作原理进行了概述,并介绍了它迄今为止所取得的成就。我们还展示了Prolog语言的使用如何使我们在分析器的设计和实现中受益。
主页: http://www.sciencedirect.com/science/article/pii/074310669500095X
关键词: NRL协议分析仪;序言语言
相关软件: 莫德;阿维斯帕;OFMC公司;莫德国家公园;卡斯帕;普罗夫里夫;伊莎贝尔;旋转;卫星通信;雅帕;廷布克;洛莉;皮克特;飞天螳螂;棱镜;冥王星;轻松;归档正式证据;聚/毫升;大锤
参考文献: 29种出版物

标准条款

1个出版物描述软件,包括1个出版物在zbMATH
NRL协议分析器:概述。 Zbl 0871.68052
梅多斯,凯瑟琳
1996

按年份引用出版物