国家自然科学基金(60873217)
- 作品数：5 被引量：9H指数：2
- 相关作者：丁丽周渊秦宝山郭莉郭云川更多>>
- 相关机构：国家互联网应急中心北京邮电大学中国科学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于身份和私钥隔离的密码系统被引量：1
- 2009年
- 利用私钥隔离的思想来缓解基于身份密码系统中的私钥泄漏问题。首先构建了基于身份和私钥隔离的密码学原语,给出了这个原语的形式化安全模型,然后构造了一个具体的方案,并且证明了该方案的安全性。
- 周渊秦宝山曹珍富
- 关键词：双线性配对
- 重加密匿名通道WGRe被引量：1
- 2009年
- 发现了通用重加密及相关方案的脆弱性并设计了一个新的重加密方案WGRe。它能保证节点输出流的正确性并能够很好地抵抗重放攻击。与通用重加密及其扩展方案的4倍明文长相比,WGRe的密文长度仅仅是明文的2倍,提高了效率。
- 陆天波秦宝山李洋丁丽
- 关键词：匿名通信MIX
- 不可重构用户私钥的基于身份的门限密码系统
- 2009年
- 首先提出一个高效的基于身份的密码系统EPA,并且证明该方案是明文感知的。然后将EPA改造为基于身份的门限密码系统ThEPA,该门限系统具有不可重构用户私钥的特性。利用这个特性,构造了强壮的私钥门限托管方案,即恶意托管人数大于或等于门限值时仍然无法获取被托管的用户私钥。
- 秦宝山周渊
- 关键词：门限密码
- 网络空间安全战略发展趋势
- 对网络依赖程度的加深极大地增长了网络空间的脆弱性威胁。国际社会正面领着一场空前的非对称网络空间安全攻击。为此,研究确保网络空间安全的战略、方法及工具等对于保护网络空间资产具有重要意义。本文分析和讨论了网络空间安全战略的研...
- 陆天波谢丰彭勇时金桥
- 关键词：网络空间
- 文献传递
- 基于概率干扰的概率隐蔽通道仿真研究被引量：3
- 2009年
- 讨论了影响概率隐蔽通道带宽和传输错误率的因素,对不满足BSPNI(bi-simulation strong probabilistic non-interference)、PBNDC(probabilistic non-deducibility on composition)和SPBNDC(strong probabilistic BNDC)性质的系统概率隐蔽通道进行了仿真,仿真结果表明,概率隐蔽通道的带宽与硬/软件配置、概率调度因子和调度次数有密切关系,当硬/软件配置和概率调度因子固定时,概率隐蔽通道的带宽近似地反比于调度次数;传输错误率与概率调度因子和调度次数关系密切,调度次数越大,传输错误率越小。
- 郭云川周渊丁丽郭莉
- 关键词：带宽仿真
- 基于ProVerif的电子商务协议分析被引量：4
- 2009年
- 采用应用pi演算来建模自动解决争端的公平电子商务协议,基于一致性给出了公平性的形式描述方法,利用应用pi演算的自动化分析工具——ProVerif分析了该协议,结果表明,利用一致性描述协议公平性是可行的,同时指出了基于ProVerif验证电子商务协议的优缺点:适用于分析"A事件发生以前,B事件是否曾经发生",但不适用于分析"A事件发生之后,B事件将来是否会必然(或可能)发生"。
- 郭云川丁丽周渊郭莉
- 关键词：电子商务协议
- 美国网络空间安全战略探索
- 随着社会生活对网络空间依赖程度的不断增强，网络空间安全已成为备受关注的一个概念，成为国际学术研究热点。作为信息基础设施最发达的美国，对网络空间安全问题高度重视。本文介绍了美国早期的信息安全政策，详细阐述了20世纪90年代...
- 苑洁陆天波谢锦
- 关键词：网络空间
