2) Formal analysis of cryptographic protocol
形式化分析密码协议
1.
Formal analysis of cryptographic protocol becomes international hot spot in researching,the security of cryptographic protocol can be judged by Formal analysis of cryptographic protocol.
密码协议的形式化正在成为国际上研究的热点,通过形式化分析密码协议来判断密码协议是否安全可靠。
3) the security analysis of cryptographic protocol
密码协议安全性分析
4) cryptographic protocol
密码协议
1.
Strand space model to prove the security of cryptographic protocols;
用于密码协议安全性证明的串空间模型
2.
Petri net method in cryptographic protocol verification;
密码协议验证中的Petri网方法
3.
Modeling Analysis for a Cryptographic Protocol Using Coloured Petri Net;
有色Petri网的一种密码协议建模分析
5) cryptographic protocols
密码协议
1.
Formal model for cryptographic protocols based on problem-solving theory;
一种基于问题求解理论的密码协议形式模型
2.
Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;
基于规划的密码协议自动化验证技术研究
3.
Research on Formal Analysis of Three-party Cryptographic Protocols;
三方密码协议的形式化分析研究
6) TMN cryptographic protocol
TMN密码协议
1.
Some new attacks on the TMN cryptographic protocol;
TMN密码协议的新的攻击
补充资料：四种工业以太网协议分析
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实现的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条