Improved formal model and algorithm for verifying cryptographic protocols;
改进的加密协议形式化验证模型和算法
Formal method is an important way of verifying cryptographic protocols.
形式化方法是验证加密协议的重要手段 ,提出了一种新的验证方法 ,该方法基于 Debbabi的推理规则 ,将参与者 ID|参与者密钥等数据结构从协议中抽象出来 ,建立起抽象的逻辑推理结构 。
In this dissertation we present a general,extensible methodology that examines cryptographic protocols.
在本论文中我们提出了一种通用的，可扩展的分析和检查加密协议的方法。
Research on End-to-End Authentication and Encryption Protocols of Ad Hoc Network
Ad Hoc网络端到端认证加密协议研究
Undeniable RSA Encryption Protocol with Small Public-key for Both Sender and Receiver and Its Application;
双方不可否认的小公钥RSA加密协议及其应用
Analysis and Implementation of WiMAX Encryption Package Protocol;
WiMAX加密封装协议的分析与实现
An Authentication Protocol for OSGi Based on Hybrid Encryption;
一种基于混合加密的OSGi认证协议研究
Application of Advanced Encryption Standard (AES) in the IPSec Protocol
高级加密标准（AES）在IPSec协议中的应用
NTRU Cryptography Based Mutual Authentication Protocol for RFID System
基于NTRU加密系统的RFID认证协议
A mutual authentication protocol based on public key encryption is presented for mobile communication system.
给出了一个基于公开密钥加密的认证协议。
Application of Sliding Window Protocols Thinking in Files Encryption with Stream Cipher
滑动窗口协议思想在流密码文件加密中的应用
Wireless Group Key Distribution Protocol Based on Homomorphic Encryption Scheme
基于同态加密机制的无线群组密钥分配协议
Password Authentication Protoco
密码鉴别协议(pap协议)
The proposed security and authentication protocol made use to the combination of public key and secret key to provide such ploy.
这种方法采用的认证协议同时结合了公钥加密和密钥加密技术。
A secure two-party bargaining protocol based on additive homomorphic public key cryptosystem
基于加同态公钥密码体制的两方安全议价协议
Verifiable Secret Redistribution Protocol Based on Additive Sharing
基于加法共享的可验证秘密再分发协议
Research and Design of the Link Layer Encrypting Network Card Based on 802.10 Protocol;
基于802.10协议的链路层加密网卡研究与设计
Authentication Research Based on HDCP Protocol and Stream Cipher Algorithm Implementation;
基于HDCP协议的认证研究与流加密算法的实现
Research and Application on Fast Encryption Communication Protocol Using Difference Mode;
基于差分法的高速加密通信协议的研究与实现
Design of the Secure IP Multimedia Transfer System Based on SIP Protocol;
基于SIP协议的IP加密视频传输系统的设计
Research on the Authentication Protocol and Cryptographic Algorithm in RFID System
基于RFID系统认证协议与加密算法的研究
