1) Authentication Header (AH)
验证头协议
2) 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.
简要说明了协议描述和验证的基本概念，示例性地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。
3) 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协议完整的建模过程及协议验证和测试的方法。
4) AH
[英][,eɪ 'eɪtʃ] [美]['e 'etʃ]
认证协议头
1.
This paper first described the architecture of the IPSec specification, including AH, ESP, IKE, DOI, policy etc, introduced the application of IPSec, focused on the tunnelling technique, and show a reality framework of IPSec tunnel mode.
介绍了IPSec技术的结构框架并详细讨论各个组成部分(包括认证协议头,安全加载封装安全保护机制,互联网密钥交换协议,解释域,策略等),讨论了IPSec的实现方式,重点指出了隧道实现方式,并提出了IPSec隧道模式的一个实现框架。
5) NSPK Protocol Verification
NSPK协议验证
补充资料：倍司特克、CMX、头孢塞肟四唑、氨噻肟唑头孢菌素、头孢氨噻肟唑、噻肟唑头孢
分子式：暂无
分子量：暂无
CAS号：暂无
性质：暂无
制备方法：暂无
用途：暂无
分子量：暂无
CAS号：暂无
性质：暂无
制备方法：暂无
用途：暂无
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条