推荐资讯

最后更新

相关文章

    无相关信息
您当前的位置:首页 > 产品荟萃
信息安全成果荟萃
时间:2018-12-12 16:46:38  来源:本站  作者:

  信息安全成果荟萃_IT/计算机_专业资料。集中了最新成果10项,涵盖了信息安全研究成果的不同类型和方法。

  成果荟萃(五) 信息安全 北京万方软件股份有限公司 2014-10 1 简介: “信息安全”专题集中了成果 10 项,涵盖了信息安全研究成果的不同类型 和方法。 (具体成果介绍见下页) 国家政策: 信息安全是国际一直关注的问题,我国也非常重视信息安全技术的发展。 2006 年颁布的《国家中长期科学和技术发展规划纲要(2006-2020 年) 》其中重 点领域及其优先主题(46)明确提出: “开发国家基础信息网络和重要信息系统 中的安全保障技术,开发复杂大系统下的网络生存、主动实时防护、安全存储、 网络病毒防范、恶意攻击防范、网络信任体系与新的密码技术等。 ” 2012 年国 务院发布的《“十二五”国家战略性新兴产业发展规划》中“高端软件和新兴信息 服务产业”指出要加强以网络化操作系统、海量数据处理软件等为代表的基础软 件、 云计算软件、 工业软件、 智能终端软件、 信息安全软件等关键软件的开发等。 研究热点: 信息安全研究热点主要集中在数据安全、数字签名、数据证书、网络安全 等几个方面。研究成果分布情况见下表: 信息安全研究热点 30 25 20 15 10 5 0 成果数量 信息安全研究成果分类统计(2010-2013) (数据来源:万方软件成果数据库) 1 目 录 1、 安全电子商务协议及其形式化分析研究…………………………………………………..……….3 2、电信设备进网管理系统升级改造………………………..……………………………………...……4 3、 基于 Bloom Filter 的网络数据库加密认证技术研究……………………………………………6 4、iDRM 文档加密系统…………………………………………………………………………….……………..8 5、爱数电信级异地在线数据容灾平台………………………………….….…………………………10 6、整体系统网络的数据备份、灾难恢复及安全保障………………………………………….11 7、 专用虚拟谈判区系统 PVND……………………………………………………………………………….13 8、 数据库安全加固与审计系统………………………………………………..…………………………..14 9、基于超混沌系统滞和期望同步的保密通信研究…………………………………………… .16 10、面向可信管理的文档主动安全防护系统……………………………………………………….17 2 成果名称:安全电子商务协议及其形式化分析研究 成果承担单位:中国科学院软件研究所 成果简介: 该研究共发表论文 37 篇, 著作 7 部。 组织国际会议 3 次。 培养博士、 硕士、 博士后共 51 人。该项目的主要研究成果和创新点包括: (1)在国内率先进行电 子商务协议的正确性、安全性、公平性、冗余性和防欺骗性研究,设计并实现了 一组新型的安全和公平的电子商务协议; (2)首次指出 Kailar 逻辑的缺陷:不能 分析电子商务协议的公平性; 非形式化地解释协议语句;非形式化地引入初始化 假设;无法处理签过名的加密消息等; (3)首次改进和扩展 Kailar 逻辑的公理和 功能,使之能够克服 Kailar 逻辑的上述所有缺陷; (4)首次建立能够同时分析安 全电子商务协议的认证性、非否认性、可追究性与公平性的形式化工具; (5)提 出安全协议的设计准则, 应用形式化方法指导安全协议设计的方法。发现多种针 对安全协议的攻击方法, 为设计安全的电子商务协议和提高协议的抗攻击能力打 下了坚实的理论基础。 安全

来顶一下
近回首页
返回首页