安全协议是以密码学为基础的消息交换协议，其目的是在网络环境中提供各种安全服务。密码学是网络安全的基础，但网络安全不能单纯依靠安全的密码算法。安全协议是网络安全的一个重要组成部分，我们需要通过安全协议进行实体之间的认证、在实体之间安全地分配密钥或其它各种秘密、确认发送和接收的消息的非否认性等。[1]
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。
随着RFID 技术的发展和广泛应用，安全认证协议的设计与完善对于保护信息安全和用户隐私变得更加重要。该文针对现有安全认证协议中常常忽略的来自系统内部合法阅读器之间的伪造和篡改问题，提出一种新的基于密钥
电子见证服务是现代服务业体系中一个重要环节，为电子商务和网络应用提供安全和法律的保证。本文阐述了电子见证服务在电子商务应用中的必要性。研究影响见证服务安全几个因素,提出现有协议中普遍存在的安全漏洞。针
提出一种新的RFID安全协议，利用已存储的随机序列产生伪随机数的机制代替随机数产生器。该协议采用阅读器和电子标签双方互相验证的机制，可以防止跟踪、非法阅读器读取标签数据、标签假冒、重放攻击等威胁。在保
电子商务中SET协议安全技术浅析[摘要] 电子商务的实施，其关键是要保证整个商务过程中交易的安全性，其中，安全电子交易协议（SET）是实现安全交易的一项重要保障。本文展示了SET协议的工