Security Protocol

Research and Application for Combination Analysis Technology of Security Protocol Formal

安全协议形式化混合分析技术的研究与应用

Research on Design and Analysis of Security Protocol for Mobile Banking

手机银行安全协议设计与分析研究

Research on Formal Analysis of Security Protocol of Computer Communication Network

计算机通信网安全协议形式化分析研究

General Structure of Network Security Protocol and the Analysis of Its Security

网络安全协议的一般框架及其安全性分析

The new logic can be applied to design security protocol .

运用新逻辑来设计安全协议。

Low Cost RFID System 's Security Protocol Design And Formal Analysis

低成本RFID系统安全协议设计及其形式化分析

Research on Security Protocol Analysis Technique Based on Extended CSP Model

基于扩展CSP模型的安全协议分析技术研究

Design and Implementation of Security Protocol for Low Cost Network Appliance

小设备中安全功能的设计和实现

Efficient and Security Protocol for Group Key Distributed in Mobile Network

一种安全高效的无线群组密钥分配协议

This paper proposes a new kind of rules about security protocol design .

本文提出了新的对于安全协议设计的指导原则。

SPA : A New Efficient System for Security Protocol Analysis

SPA：新的高效安全协议分析系统

Application of Fuzzy Control in Network Security Protocol

模糊控制在网络安全协议中的应用

Research on Model Checking of Security Protocol of Network

网络安全协议形式化分析技术研究

Research on the Design Principles of Security Protocol

关于安全协议设计原则的研究

Security protocol analysis and design may proceed in the same logic .

通过运用该逻辑，使安全协议的设计和分析可以在同一种逻辑中进行。

Modeling and Performance Analysis of Security Protocol in LEO Satellite Network

LEO卫星网络中安全协议的建模与性能分析

The Technology to Design and Verification of Security Protocol

安全协议的设计与验证技术

We do research for theory of the security protocol in data link layer .

开展了数据链路层安全协议相关理论的研究。

State Space Reduction Technique in Security Protocol Analysis

安全协议分析中的状态空间简化技术

Security protocol providing security services is the infrastructure of network security .

安全协议提供安全服务，是构建网络安全的基石。

Formal authentication of security protocol is an important field of network security .

安全协议的形式化验证是网络安全的一个重要领域。

Design and verification of security protocol of information transmission for teaching affairs administration system

教务管理系统中信息传输安全协议的设计与验证

Security Protocol 's Extended Horn Logic Model and Its Verification Method

安全协议的扩展Horn逻辑模型及其验证方法

Petri net model and analysis for electronic payment security protocol

电子支付安全协议的Petri网模型及分析

Select the security protocol used for traffic protection .

选择用来进行通讯保护的安全协议。

A Study of the Security Protocol of Grid Computing

网格计算的安全协议研究

We presented a new logic of analysis and design security protocol in paper [ 1 ] .

文献[1]中提出了一种分析和设计安全协议的新逻辑。

Instantiation Space : A New Model for Security Protocol Logic

实例化空间：一种新的安全协议验证逻辑的语义模型

Strand space model is an important research field in security protocol analysis scopes .

基于串空间模型的研究是当前安全协议领域的一个研究热点。

Security Protocol Design about Broadcast in Wireless Sensor Network

无线传感器网络中广播通信的安全协议设计