1) command validation protocols
命令验证协议
1.
This paper shows that the Trusted Computing Group(TCG)command validation protocols are exposed to a Dolev-Yao Man in The Middle(MiTM)attack,which will tamper with the security and the trustworthiness of the entire system.
经过分析显示可信计算联盟(TCG)命令验证协议会受到一种基于Dolev-Yao模型的中间人攻击,对系统的可信性和安全性造成影响。
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) Authentication Header (AH)
验证头协议
5) NSPK Protocol Verification
NSPK协议验证
补充资料：《国防人民委员命令》
《国防人民委员命令》
Order of the Day of the People's Commissar of Defense of the U.S.S.R.
Guofong Renmin Weiyuan Mingli-《国防人民委员命令》(order。Da少，ofthe Pe，)P le’5 Ct)mmissarofDefe‘tll“U及S.R.)斯大林评述苏德战争和阐发决定战争命运主要因素问题的著作。是斯大林以苏联国防人民委员义J几1942年2月23日在莫斯科发}t}令，编为第55号。同日刊载于苏联《报》，1952年收人《论苏联伟大卫国占一书。中译文约4 000字，全文收人《林文选》和《斯大林军事文集》。 命令首先综述了苏德战争的形势出:8个月前，法西斯德国背信弃义地r突然袭击，满以为苏联红军将-溃，可是他们失算r，既没有估计到苏军的力量、后方的巩固和人民争取胜意志，也没有认清自身的虚弱性;苏联级然被迫退却，放弃一部分领l几，但在中沉垂打击r德军，击破其“闪击”t“现在德因军队已经没有战争最初儿个那种山于背信弃义突然进攻所造成的 乍心吃皿刀口.PO月T几1 Ile可势事名命理珊大指动即红的军却:l]，吧事苏联卫国战争期间的宣传画“一切为了前优势了”。然后阐述了对战争胜败规律郎识，提出关于决定战争命运的五个因舜原理，指出:“现在战争的命运不会由李性这种偶然因素来决定，而要由那些色起作用的因素—后方的巩固性，军口士气，师的数量和质量，军队的装备，场指挥人员的组织能力来决定。”这个原延看作是正确认识苏德战争前途的理钱器，鼓舞了苏联军民的斗志和必胜信念，明了争取卫国战争胜利的方向，并有夕批判了A.希特勒的“闪击战略”。 《国防人民委员命令》对于指导苏尾国战争的胜利，起了重要指导作用。 (徐晓村仄均冰常均汰妓武脂池卫
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条