A provider type that contains a set of cryptographic protocols and algorithms owned by the national institute of standards and technology 包含国家标准与技术协会拥有的一组加密协议和算法的提供程序类型。
( 6 ) at last this thesis builds the structure of the automatic tool based on timed petri nets to analyze cryptographic protocol 最后,本文建立了实现自动化分析密码协议工具?时延petri网分析器的结构框架。
( 5 ) the thesis also objectively evaluates the performance of time delay , structure properties and software complexity of the above three cryptographic protocols ( 5 )本文对这三种密码协议的执行时间、结构特性以及实现分析的软件复杂度给出了客观的评估。
( 2 ) the author introduces a new way to describe cryptographic protocol based on timed petri net , meanwhile , the concrete steps using tpn is expounded ( 2 )首次提出用时延petri网作为工具来分析和评估密码协议,并且给出了用它分析和评估密码协议的具体方法和步骤。
31 huai jinpeng , li xianxian . algebra model and security analysis for cryptographic protocols . science in china , series f : information sciences , feb . 2004 , 47 : 199 - 220 本文的未来工作,是进一步丰富这套公理模型,从而可以处理更多更复杂的安全协议特性,如匿名性,非抵赖性等等
It is a hard problem to analyze cryptographic protocol in the area of computer network security . using formal methods to analyze cryptographic protocol remains the key issue in this field 密码协议安全性分析是网络安全的一个难题,运用形式化方法对密码协议进行分析一直是该领域的研究热点。
Then logic reasoning is made on the formal description . through reasoning and analysis , some secure vulnerabilities are found in the cryptographic protocols of tpm , and repair methods are also proposed 在推理分析中,也发现了可信平台模块密码学协议的一些安全漏洞,并在分析的基础上修复了这些安全漏洞。
The main results that the author obtained are as follows : ( 1 ) the thesis reviews four kinds of formal methods for the analysis of cryptographic protocol and sets forth the merits and disadvantages of each 作者所取得的主要研究结果如下: ( 1 )对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点。
All of those aforementioned make sure that the security analysis of cryptographic protocols based on this model is reasonable and efficient , and provide a dependable basis for analyzing the security of cryptographic protocols correctly 所有这些均确保了基于该模型的密码协议安全性分析的合理性和有效性,为正确的分析密码协议的安全性提供了可靠依据。
A security protocol (cryptographic protocol or encryption protocol) is an abstract or concrete protocol that performs a security-related function and applies cryptographic methods.