1) security protocol analysis
安全协议分析
1.
Through the study of the method of security protocol analysis based on the Strand Space Model,this paper proposes an advanced state space reduction technique,which combines state space reduction techniques with pruning-theorems during the protocol analysis in order to reduce the state space more efficiently.
通过对基于Strand空间模型的安全协议分析方法的研究,提出了协议分析过程中改进的状态空间简化技术,即在协议分析中将状态空间简化技术与剪枝定理相结合,以达到更加有效地简化状态空间的目的。
3) the security analysis of cryptographic protocol
密码协议安全性分析
5) secure assignment protocol
安全分配协议
6) security protocol
安全协议
1.
Petri net model and analysis for electronic payment security protocol;
电子支付安全协议的Petri网模型及分析
2.
Mobile RFID security protocol and its GNY logic analysis;
移动型RFID安全协议及其GNY逻辑分析
3.
The Research and Implementation on Formal Analysis of security protocols;
安全协议形式化分析的研究和实现
补充资料：四种工业以太网协议分析
1． Ethernet IP：此种工业以太网采用有源交换器，用来实现现场总线及其设备与以太网的无缝连接。另外，以太网为星行结构，有利于方便简单的接线和维护等工作的进行。在其星行结构中，采用通信组件，使其可以兼容Rockwell的现场总线设备。而Ethernet IP的通信模型也有其自身特点：在第一层至第四层上，采用Ethernet 802.3协议，之上采用TCP/IP，而在用户层上，采用CIP规范，使Control Net, Device Net 和Ethernet 共享用户层和应用层。
2． FF HSE(High Speed Ethernet) ：这是由FF基金会推出的一种以太网构架。HSE采用星行构架，并采用交换器连接FF的现场总线装置，实现无缝操作。其中的交换机还有防火墙作用，能有效抵抗干扰。此种以太网最重要的优点是实现了各种级别的冗余功能，保证了网络的可靠性。其通信模型的低层采用Ethernet TCP/IP协议，用户层和应用层则可由现场总线和HSE共用。
3． PROFI NET ：是由西门子提出的以太网构架。由于西门子倡导保护过去投资，故其PROFINET的推出充分考虑了与PROFIBUS 的兼容性，实现了两者的无缝连接。而在通信模型中，PROFINE最大的特点是在其用户层是基于组件的，而依靠工程设计模型实现了组件的连接，从而系统中便可接入多个供应商的设备。
4． IDA 与上述3个架构不同，IDA则采用了从设备底层到高层的完全工业以太网构架，这是依靠Mod Bus实现的。
2． FF HSE(High Speed Ethernet) ：这是由FF基金会推出的一种以太网构架。HSE采用星行构架，并采用交换器连接FF的现场总线装置，实现无缝操作。其中的交换机还有防火墙作用，能有效抵抗干扰。此种以太网最重要的优点是实现了各种级别的冗余功能，保证了网络的可靠性。其通信模型的低层采用Ethernet TCP/IP协议，用户层和应用层则可由现场总线和HSE共用。
3． PROFI NET ：是由西门子提出的以太网构架。由于西门子倡导保护过去投资，故其PROFINET的推出充分考虑了与PROFIBUS 的兼容性，实现了两者的无缝连接。而在通信模型中，PROFINE最大的特点是在其用户层是基于组件的，而依靠工程设计模型实现了组件的连接，从而系统中便可接入多个供应商的设备。
4． IDA 与上述3个架构不同，IDA则采用了从设备底层到高层的完全工业以太网构架，这是依靠Mod Bus实现的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条