无双线性对的门限条件匿名代理重加密方案

条件代理重加密(CPRE)可以根据条件对密文进行细粒度的授权,现有的CPRE方案只检查原密文的条件,忽略了重加密密钥的条件符合性,也不对条件信息进行保护,容易造成隐私泄露.该文构造了基于门限的无双线性对条件匿名代理重加密方案(TB-CAPRE),对密文和重加密密钥的条件同时进行验证,并将敏感的条件信息进行匿名化处理,利用门限将重加密分布到多个代理节点完成,能够抵御合谋攻击.理论分析证明了该方案在随机预言模型下满足适应性选择密文攻击下的不可区分安全性(IND-CCA).效率和计算量分析表明TB-CAPRE在增加安全性和相关功能后并没有引入过大的开销,可以应用到分布式环境中.     

一种改进的安全文件系统模型设计

如何彻底删除计算机中的数据是当前亟待解决的信息安全问题之一。分析了文件删除的原理,在文件系统驱动层引入了安全访问控制策略和数据覆写技术,提出了一种改进的带有安全删除机制的文件系统模型,解决了数据安全销毁的问题。     

Scapy在网络设备安全性测试中的应用

攻击测试是网络设备安全性测试中常用的方法,该文介绍了利用scapy进行攻击测试的方法.Scapy具有强大的功能和灵活的扩展性,能够伪造或者解码大量的网络协议数据包,可以发送、捕捉、匹配请求和回复包等,这些特点促使scapy在攻击测试中更有效率.scapy能够快速实现拒绝服务攻击、DNS放大攻击、端口扫描等.本文利用scapy实现上述的攻击方式,并给出相应测试代码.     

基于NPLAB的Kerberos V5协议的形式化分析

安全协议是建立在密码学基础上的协议,提供主体的身份识别和认证、会话密钥的管理和分配等各种安全服务.NPLAB是一款网络通信协议设计软件,它使用HLPSL语言对安全协议进行建模,采用形式化分析方法分析安全协议,并给出其安全性和可能的攻击路径.以KerberosV5协议为例,对NPLAB的使用进行说明,分析协议的安全性.     

自主车辆发展概况及关键技术

为了更有效地开发新型自主车辆,对自主车辆发展概况及关键技术进行研究。简述了自主车辆的相关概念及其优缺点,详细介绍了当前国内外无人自主车辆的研究发展现状,分析了自主车辆的结构组成,并分别阐述了环境感知、定位导航、规划决策、控制体系和交通仿真五大模块的关键技术,最后提出了自主车辆未来的发展趋势及需要努力的方向。     

基于伪随机序列的零相关区三元序列偶集的研究

将伪随机序列应用于零相关区(ZCZ)序列偶中,提出了一种新的ZCZ三元序列偶集的构造方法.通常的ZCZ序列集构造是基于最佳序列的,而此方法是将伪随机序列和正交矩阵相结合,通过选择适当的移位序列,经交织变换生成具有一定长度、序列数目和零相关区的三元序列偶集.使用新方法构造出的ZCZ三元序列偶集具有较大的容量,可以更好地满足实际工程的需要.     

基于知行模型的守护“软件人”设计与实现

借鉴机器知行学,在信息、知识、智能的转换与统一理论的基础上,通过扩展原有的信息转换模型,提出了适用于群体的信息转换模型,给出了软件人的个体知行模型及其行为描述规范。然后,采用广义知识表示法实现了软件人知识和行为一体化描述,阐述了守护软件人的构造原理。最后,描述了Linux环境下守护软件人的关键实现技术,主要包括守护软件人的启动、软件人社区的初始化及创建软件人服务。     

无证书签名方案的分析与改进

针对汤永利等提出的9种无证书签名方案（汤永利,王菲菲,叶青,等.改进的可证明安全无证书签名方案.北京邮电大学学报,2016,39(1):112-116）,首先使用线性化方程分析方法,发现所有方案中公钥之间存在线性关系,利用此缺陷完成对所有方案的签名伪造攻击;其次,为打破公钥之间的线性关系,使用改造哈希函数参数的方法改进方案,并在随机预言机模型下证明了改进方案的安全性;然后,提出一种无证书签名方案中的公钥构造格式,通过该格式构造出的签名方案无法被敌手进行公钥替换攻击;最后,通过仿真对改进方案与现有的无证书签名方案进行效率比较。实验结果表明,改进方案在提高安全性的同时未降低计算效率。     

基于可信计算技术的OSPF路由协议研究

为了解决目前路由安全方案中只对路由器身份进行认证,而未对路由器平台的完整性进行验证的问题,在基于LSU数字签名的OSPF协议基础上,借鉴可信计算的完整性度量思想,提出了一种新的可信路由协议TC-OSPF(OSPF based on tru-sted computing)。分析了LSU数字签名过程,指出了在LSU签名过程中加入路由平台完整性度量的可行性,在此基础上设计了具有完整性度量功能的LSU报文结构。安全性分析表明,TC-OSPF协议不仅可以对路由器身份进行认证,同时也能对路由平台的完整性进行验证。仿真实验结果表明,TC-OSPF在保证了OSPF协议安全性的同时也兼顾了路由性能。     

大化肥装置的技改回顾与展望——在第13届全国大型合成氨装置技术年会上的总结讲话

大化肥装置的技改回顾与展望——在第１３届全国大型合成氨装置技术年会上的总结讲话李兆斌（中石化总公司生产管理部，北京，１０００２９）收稿日期：１９９７－１１－１８。第１３届全国大型合成氨装置技术年会，经过与会代表共同努力，会议开得很成功，今天就要闭幕了...