椭圆曲线中的标量乘法

本文对椭圆曲线中的标量乘法进行研究，给出了基于Ｐ１３６３的改进算法及滑动窗口算法，并在基域算术运算一定的条件下，给出有限域中各算法的实验结果。     

LBlock 中间状态的代数表示及其侧信道攻击

LBlock是吴文玲和张蕾在ACNS2011上提出的轻量级分组密码,目前未见对该体制的公开的密码分析文章。用符号计算软件Mathematica7.0得到了LBlock第三轮输出的最低比特的代数表达式(以明文和主密钥比特为自变量)。该代数表达式只与8比特密钥和9比特明文有关,可以用于对LBlock在单比特泄露模型下的侧信道攻击。模拟实验表明,假设第三轮输出的最低比特泄露,则用8个已知明文,85%的概率下可以恢复6~7比特密钥。     

基于XKMS的证书验证机制的研究与实现

提出了一种基于XKMS的证书验证机制,设计了集成在XKMS服务中的证书验证服务模块,描述了证书路径验证算法,改进了XKMS-OCSP机制,并给出了证书验证的过程。     

安全中间件CSM的设计与实现

目前安全技术中的代价高、易用性和互操作能力差等问题,已成为解决信息安全的瓶颈。本文阐述了安全中间 件的总体结构、功能模块的目标和功能等,着重分析了安全中间件的核心模块——通用安全管理器的需求,并详细 地描述了CSM内主要子模块的设计思想和实现过程。     

GF(p)上ECC的有效实现--在MCS51微处理器系列

文章详细描述了在192-bit素域上椭圆曲线公钥密码体制ECC(Elliptic Curve public key Cryptography)Intel MCS51微处理器系列智能卡上的实现过程。采用了Generalized—Mersenne素数作基域GF(p)(p=2^192-2^64-1)，利用模数的特殊形式及椭圆曲线的特殊参数，实现了GF(p)上ECC的全部过程，并且建立了软件库。运行速度表明ECC在计算资源受限、低功耗微处理器上实现是可行的。     

一种适用于Ad Hoc网络的高效证书撤销机制

由于Ad hoe网络的特殊性,基于数字证书的安全机制在其中的应用面临很多困难,其中最大的挑战是：在网络节点无法在线访问CA的情况下,如何实现证书的撤销。在对Adhoe网络环境下现存的证书撤销机制进行分析后,提出了一种基于单向哈希函数的证书撤销机制,这种机制具有执行效率高、节约网络带宽、计算开销低：等优点,非常适用于Adhoe网络环境。     

不满足扩散性的元素集合秩的上界

本文从函数的非线性度与扩散性关系出发，给出了不满足扩散性的元素集合秩的上界，并且构造了达到此上界的布尔函数。     

移动网格服务安全机制的研究

定义了移动网格服务的安全性、安全级别及安全协议簇,给出了一种利用XML安全技术确保移动网格服务安全的新架构。同时还讨论了架构中消息的安全交互问题,分析了基于策略的XACML访问控制服务组件,设计了移动网格服务的XKMS密钥管理服务组件架构,并给出了XKMS服务的具体实现过程。     

基于单向散列链的公钥证书撤销机制

证书撤销是公钥基础设施（PKI，Public Key Infrastructure）研究和应用的难点问题．本文首先讨论了当前应用最广泛的两类证书撤销机制一证书撤销列表（CRL，Certificate Revocation List）和在线证书状态罅议（OCSP，Online Certificate Status Protocol），剖析了这两种机制各自存在自的不足．在此基础上，提出了一种基于单向散列链的证书撤销机制．     

基于社团检测算法的固件二进制比对技术

固件比对是二进制比对技术的重要分支.然而,既往研究关注于函数的表示方法的优化却忽略了对过滤器的设计优化,导致固件常因包含同构函数引发误匹配,以致现有二进制比对技术应用于固件比对时效果不够理想.为此,提出基于社团检测算法的固件比对技术,首次将复杂网络相关理论应用于二进制比对领域.通过社团检测算法将固件内的函数划分为若干社团,利用社团匹配实现过滤器的功能,再根据匹配社团寻找匹配函数;此外,优化了函数相似度计算方法,设计了操作数相似性计算方法.在实现原型系统后,使用1382个固件构建2个数据集进行实验,验证了可行性,分析了基于社团检测算法的固件比对方法的性能,确定了各参数的合理取值,设计了评估指标可信匹配率,并比较了该方法与Bindiff的比对效果.实验表明:该方法可以提升Bindiff比对结果5%~11%的正确率.