用Spi演算描述并验证非对称双向鉴证协议

移动代理能够自主地在异构的网络间迁移，在代理迁移到下一个服务器之前，需要解决代理迁徙过程中的安全性问题，即如何进行代理与服务器之间的双向认证，提出的非对称双向鉴证协议能够较好地解决该安全问题，同时，用Spi演算对该协议进行了描述，并验证了该协议的安全性。     

基于π-演算的安全协议描述与验证

π-演算是以进程间移动通信为研究重点的并发理论，本文扼要叙述π-演算的基本概念，论述了如何用π-演算描述和验证安全协议，具体以Station-to-Station协议的一个不完全版本为例进行了分析，发现并在π-演算的工具MWB中证实了协议中存在的一个攻击，分析受到攻击的原因并给出了协议的改进版本．     

用π-演算描述网络考试系统

在分析了基于W eb的网络考试系统需求的基础上,针对其具有多进程并发通讯的特点,采用π-演算对系统进行结构和功能的描述;在简单介绍π-演算的语法和操作语义的基础上,用进程表达式对整个系统进行形式化的描述;最后,通过实际编程实现,表明用π-演算描述这一类系统是非常适合的.     

可验证的茫然传输协议

茫然传输协议是一种重要而极其有用的密码学基本协议,目前在密码学的众多领域中得到应用,特别在安全多方计算协议的构造中.然而,在目前的茫然传输协议中,由于它的秘密性要求,使得协议本身存在两个缺陷:①接收者无法知道他所得到的信息是不是发送者拥有的信息之一;②发送者无法知道接收者接收到的信息是否属于自己指定的信息中.为了克服这两个缺陷,文章首次提出了可验证的茫然传输协议的概念,并且利用知识证明协议∑-协议构造了可验证的茫然传输协议.     

电子商务中的安全交易协议

介绍了电子商务中常用的两种安全交易协议SSL和SET，对其各自的特点及应用前景作了分析，同时对相关的电子商务安全方面的知识也作了简单介绍。     

基于安全灰箱演算的物联网移动性建模验证

物联网的建模和验证是物联网研究的一个重要领域。由于集成了物理进程,物联网表现出传统软件系统所不具备的物理特性。这些性质作为物联网系统中必不可少的一部分,必须在物联网模型中进行描述。移动性作为一种物理属性,能够描述物联网中物理实体的移动以及信息的流动,本文对物联网的移动性进行研究,提出了一种基于安全灰箱演算的物联网模型,并且使用灰箱逻辑对其进行分析验证。该方法能够对物联网的移动性进行描述分析,适用于具有移动特征的物联网应用。以欧洲火车控制系统(ETCS)为例,验证了本文建模和验证方法的可行性。     

电子商务的安全协议

针对目前电子商务中存在的主要安全要求，详细介绍电子商务安全控制的核心技术及电子交易协议。     

一个安全电子商务身份验证协议

针对电子商务活动中存在的冒名欺诈问题，设计了一个安全的电子商务身份验证协议。协议的安全性是建立在目前尚未存在有效攻击方法的有限域上非超奇异椭圆曲线的椭圆曲线离散对数问题之上的。从理论上分析，该协议是安全的并具有一定的实用价值。为了提高协议在实际应用当中的运算速度，设计了实现该协议的椭圆曲线密码体制基本算法，这些算法具有形式简单，运行速度快的特点，完全可以满足实际应用的需要。     

一种身份认证协议的形式化描述与验证

身份认证作为实现网络安全的第一步，是网上商务信息安全交换的关键。而认证协议一旦存在漏洞。必然会导致秘密信息的泄漏，这就需要采用一种形式化的方法去描述和验证认证协议。本文采用着色Petri网描述身份认证协议，同时提出了一种用1-可达性分析方法和向回分析方法相结合的策略，验证了该身份认证协议的安全性。     

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

分析了计算机网络中存在的安全风险,建立了网络安全协议的一般框架,讨论了网络安全协议中密码技术的安全性,指出了网络安全协议在具体实时应注意的问题。     

基于细粒度新鲜性的密码协议分析

对新鲜性进行了细粒度的定义, 并将新鲜性和秘密性结合, 完善了基于新鲜性原则的密码协议分析方法。区分了不同主体产生的新鲜性标识符的可信任新鲜性, 并对私有秘密和共享秘密给予了更准确的解释。改进后的基于新鲜性原则的密码协议分析方法能够分析并发现 Helsinki 协议中存在的微妙的安全缺陷。     

一种互认证密码协议的设计和分析

为在不安全的网络中建立安全的通信，提出了一种用于网络管理互认证的具有较高效率的密码协议，介绍了该密码协议的相关设计背景。总结了若干关于密码协议设计的原则，通过运用经过补充的BAN逻辑对该协议进行形式化分析，并通过计算机对该协议的握手协议过程进行仿真。仿真结果表明，在被加密协议参数相同的条件下，该协议减少了系统开销，提高了协议效率。     

基于掌形积分的路由协议仿真与性能分析

现有基于RWM移动模型的自组织网络路由协议仿真经常会引起一些问题,如平均运动速率衰减、移动节点分布不均匀等,使得路由协议的仿真不准确.针对这些问题,本文应用掌形积分对RWM移动模型的初始化重新进行了设计,该设计方法简单、易于实现.在此基础上,作者仿真了自组织网络常用的路由协议并进行性能分析.仿真结果表明,在RWM移动模型和修改后RWM移动模型下的路由协议性能存在差别.RWM移动模型的平稳性会对路由协议性能产生显著的影响.     

基于RSA的保密投票方案

提出了一种基于RSA的数字表决方案，其特点是：由密钥中心制造投票过程的各种私钥和公钥，分别分配给投票人，投票主持人，或交公证机构保管，投票不可伪造；投票不可低赖；投票人的态度保密，因此此方案特别适用于一个组织的最终决策过程。     

密码协议的形式化分析与设计原则

介绍了密码协议的形式化分析方法和设计原则 ,着重介绍了BAN逻辑及其发展以及一些重要的协议设计原则 ,并提出了作者的一些观点。     

Research of the Kernel Operator Library Based on Cryptographic Algorithm

The variety of encryption mechanism and algorithms which were conventionally used have some limitations. The kernel operator library based on Cryptographic algorithm is put forward. Owing to the impenetrability of algorithm, the data transfer system with the cryptographic algorithm library has many remarkable advantages in algorithm rebuilding and optimization, easily adding and deleting algorithm, and improving the security power over the traditional algorithm. The user can choose any one in all algorithms with the method against any attack because the cryptographic algorithm library is extensible.     

Authenticated Diffie-Hellman key agreement protocol with forward secrecy

Forward secrecy is an important security property in key agreement protocol. Based on Ham＇s protocol, in this paper a new authenticated Diffie-Hellman key agreement protocol with half forward secrecy is proposed. This protocol is also based on a single cryptographic assumption, and is user authentication and shared key authentication. More importantly, our protocol provides forward secrecy with respect to one of the parties. For this reason, besides the advantages of Ham＇s protocol, in practice, our protocol can reduce the damages resulted from the disclosure of the user＇s secret key and it is very beneficial to today＇s communication with portable devices.     

密码技术在基于web的网络测试系统中的应用

网络测试系统足网络教育平台的重要组成部分。基于web的网络测试系统是网络测试系统的最新发展方向,它在远程教育中发挥了重要作用。为了保证测试的公正、可信,必须要保证网络测试系统具有较高的安全性。本文主要探讨如何利用密码技术提高基于web的网络测试系统的信息安全水平。     

加密算法在蓝牙安全机制中的应用

分析了蓝牙协议中鉴权、加密机制中的加密算法,包括这些算法的背景、原理以及工作流程,探讨了蓝牙安全机制对各加密技术环节的选取宗旨.最后,通过蓝牙车载电话和蓝牙耳机上对这些加密算法的运用和测试,作出了客观的分析和评价.