1) NSPK Protocol Verification
NSPK协议验证
2) NSPK protocol
NSPK协议
1.
NSPK protocol is a classic authentication cryptographic protocol.
NSPK协议是一个经典的认证密码协议。
3) protocol verification
协议验证
1.
Analysis and comparation on the protocol verification of computer network;
基于不同形式化模型的网络通信协议验证技术的分析与比较
2.
The purpose and method of protocol verification are expounded,and the protocol verification and its characteristics and strongpoint based on FMS, CCS model and Petri nets are introduced.
讨论协议形式描述与验证技术的目的与方法,重点介绍了基于FMS、通信演算系统以及Petri网协议验证技术的特点及其优点。
3.
The basic concepts of protocol specification and verification are presented briefly, and the basic ideas are given by means of examples with respect to the construction of specifications for implementation and protocol verification.
简要说明了协议描述和验证的基本概念，示例性地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。
4) protocol validation
协议验证
1.
Combining CPEBSDL, Petri nets reachable marking graph, and Petri net process, this paper proposes an approach named PMA_CPEBSDL that can automatically construct a Petri nets model for communication protocol, presents some methods of protocol validation and test.
结合一个实例,给出LAPD协议完整的建模过程及协议验证和测试的方法。
5) Authentication Header (AH)
验证头协议
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条