加入时间因素的Needham-Schorder协议及其形式化分析

在安全数据的通讯中,数据发送和接收的非否认十分重要。文章在克服Needham-Schorder协议缺陷的基础上,提出了一种基于时间戳的改进方案,该方案有效地解决了可信中心的性能瓶颈问题,是一个更为实际的安全协议,此外通过对其进行形式化分析,证明了该协议可以抵抗参加协议各主体的否认攻击。     

铜导线断裂痕迹形态的图像特征提取与分析

纹理是断口的重要特征,不同的断裂原因造成断口的纹理特征是不一样的,它提示了图像中亮度值空闻变化的重要信息。图像宏观上表现出来的是二雏特性,可以将其灰度变化看成是图像的第三维特征来进行研究,这个“第三维”的表现可以用图像的能量或者所舍信息量来表示。常用的图像纹理特征提取的方法有：统计法、利用空间自相关函数作纹理测度、频谱法、联合概率矩阵法、纹理的句法结构分析法。本文主要从频谱法和灰度共生矩阵法两个方面对4种不同原因造成的铜导线断口图像做纹理特征的提取与分析。     

有效的适合大群体群签名

该文将构造一种新的群签名体制,它将克服群公钥的长度和群成员数成线性的问题,并且在增加新成员时不用进行公钥的修改。实现的方法是基于DSA的知识签名。     

向前安全的动态门限签名方案

给出了向前安全的动态门限签名方案的形式化定义，并提出了一个具体的方案，方案具有向前安全的所有属性：将签名的整个生命周期划分成若干个时间段，每个时间段都要进行密钥的更新，更新函数是单向函数，这就使得从当前密钥无法得到之前时间段的密钥，整个生命周期中，公钥不变。同时，具有动态安全的所有性质：提供对密钥份额的周期性更新，可以检测恶意行为，并对错误份额进行恢复。这种签名方案有着重要的意义：如果攻击者不能在一个时间段中攻破不少于门限数目个服务器，就无法伪造当前时间段的签名；即使能够攻破门限数目个服务器，也无法伪造当前时间段之前的签名。     

一种新的基于协议树的入侵检测系统的设计

基于协议分析的入侵检测系统避免了传统入侵检测系统的计算量大、准确率低的缺陷。在协议分析的基础上,提出了一种基于带权重协议树的入侵检测系统,给出了其设计方案,该方案进一步提高了检测的准确性和效率,并且可以检测变体攻击、拒绝服务攻击等较难检测的攻击。     

Koblitz曲线密码体制中一种可抵抗边带信道攻击的标量乘算法

分析了如何改造Doubling攻击来攻击Koblitz曲线上的标量乘算法,提出了一种利用半点操作对输入的点进行随机化的方法,并将其与Koblitz曲线上的固定窗口算法结合起来,以抵抗边带信道攻击。分析表明,该算法不仅具备了可以抵抗简单功耗分析、差分功耗分析、改进的差分功耗分析、零值攻击和Doubling攻击的性质,而且保持了运算的高效,具有实际意义。     

无线PKI中证书状态查询机制研究与实现

无线PKI技术在移动电子商务中扮演着重要角色,而证书状态查询机制是其关键部件.对无线PKI中的3种常见的证书状态查询机制进行了分析和比较;OCSP协议能够提供实时的证书状态查询服务,但由于无线PKI的特殊限制,并不能直接应用于无线PKI环境中.在充分考虑无线PKI特殊的限制条件基础上,给出了一种基于OCSP协议的适合无线PKI环境的证书状态查询设计方案;详细描述了该设计在具体实现中需要特别注意的几项关键技术,以提高系统的性能和安全性.     

基于NDIS构造Windows下入侵检测系统技术分析

文中介绍了Windows平台下基于NDIS中间层枝术实现入侵检测的方法。并与一般的使用WinPcap技术实现入侵检测系统进行了比较,NDIS中间层技术在功能和性能方面具有比较突出的优势。我们采用该技术实现了一个模型系统,试验证明它具有较高的性能。     

保密电子邮件的设计与实现

总结了目前应用中的电子邮件存在的安全问题,并分析了导致这些问题的根本原因,然后我们采用证书机制,利用山东大学网络安全研究所研制的安全卡SMS100,在保证与现有电子邮件协议SMTP、POP3兼容的前提下重新设计了电子邮件客户端程序,从而使电子邮件的安全性能得到了显著改善。     

一个安全的企业域上的PKI建设方案

ＰＫＩ即“公开密钥体系”，是一种遵循既定标准的密钥管理平台，它能够为所有网络应用提供加密和数字签名等密码服务及所必需的密钥和证书管理体系。为企业域上建立ＰＫＩ提出了具体可行的建设方案，可以为用户生成加密证书和签名证书，并对其安全性进行分析。