基于进程代数安全协议验证的研究综述

通过对Web服务的架构进行分析，研究了建立安全性模型的基本途径。基于Web服务安全性模型的主体是SOAP的安全性，从而提出了对于SOAP进行安全扩展以达到信息安全交换的一种实现方法，该方法确保了网络服

基于串空间理论和约束消减方法，提出安全协议可达性分析模型；采用Prolog实现模型自动推理，利用XSB的Java接口实现基于Web的自动分析工具。

传统的PACS系统存储和维护海量医疗影像数据成本高昂，且经由DICOM协议传输的影像数据容易遭到黑客攻击，造成数据被非法篡取、病人隐私泄露等数据安全性问题。提出一种PACS云服务模型以满足数据存储、维

针对双方认证和密钥协商协议中会话双方属于不同密钥产生中心的情况，利用双线性对性质和BDH假设，基于可证安全的eCK模型提出一种基于身份可证安全的双方密钥协商协议。该协议从测试会话在随机谕示模型中是否存

针对目前主要采用的安全多方求和协议通信复杂度高的问题，采用公钥加密技术和随机函数，提出一种既能进一步提高安全性，又能降低通信复杂度的协议，并证明了其正确性与安全性。通过与现有的协议分析比较可知，本协议

Research and Implementation of IPv6 Security Protocol Based on Kernel_2.6

安全协议形式化分析方法综述之二——基于攻击结构性方法，pdf文件

安全协议形式化分析方法综述之一，基于推理结构性方法，pdf文件

针对无线传感器网络的特点,在研究LEACH协议的基础上,提出了一种新的优化的分簇多跳算法。该算法使用能量因子修正了LEACH协议中的的阈值,产生簇头。再将选好的簇头以距离最短为原则生成一条基站到各簇头

随着科学技术的进步，计算机及网络技术的高速发展，信息的安全性、隐蔽性越来越受到重视，如何有效、快速方便地进行身份验证和识别，己经成为人们日益关注的问题。通常，密码（包括口令等）或身份证是人们进行身份识