×

兹马思-数学第一资源

NRL协议分析器:概述。(英语) Zbl 0871.68052
摘要:NRL协议分析器是一个用Prolog编写的原型专用验证工具,用于分析在网络中用于验证主体和服务以及分发密钥的加密协议。本文对该分析仪的工作原理进行了概述,并介绍了它迄今为止所取得的成就。我们还展示了Prolog语言的使用如何使我们在分析器的设计和实现中受益。

理学硕士:
68N17 逻辑程序设计
软件:
NRL公司
PDF格式 BibTeX公司 XML 引用
全文: 内政部