国家重点基础研究发展计划(2007CB311100)

作品数：170被引量：1400H指数：16
导出分析报告
相关作者：沈昌祥张勇东方娟郭莉李锦涛更多>>
相关机构：北京工业大学中国科学院中国科学院研究生院解放军信息工程大学更多>>
相关期刊：《计算机仿真》《计算机技术与发展》《The Journal of China Universities of Posts and Telecommunications》《计算机工程与设计》更多>>
相关主题：可信计算远程证明计算机应用中文信息处理WEB服务更多>>
相关领域：自动化与计算机技术电子电信理学自然科学总论更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可信计算中信任链建立的形式化验证被引量：6
《北京工业大学学报》2016年第3期387-392,共6页王勇 许荣强 任兴田 杨建红 
国家"973"计划资助项目(2007CB311100)
为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系...
关键词：可信计算 信任链 可信平台控制模块 形式化验证 进程代数 
求根问题的量子计算算法被引量：10
《北京工业大学学报》2015年第3期366-371,共6页孙国栋 苏盛辉 徐茂智 
国家"973"计划重点资助项目(2007CB311100);国家"863"计划资助项目(2009AA01Z441)
求根问题是计算数论中的一个困难性问题,为了提高求根问题的求解效率和扩大量子计算的应用范围,对求根问题进行了量子算法的分析.在两大量子算法Shor算法和Grover算法的基础上,提出了2种解决求根问题的量子算法RF-Shor算法和RF-Grover算...
关键词：量子算法 求根问题 Shor算法 GROVER算法 
基于REESSE1＋公钥密码体制的概率加密被引量：1
《计算机工程》2014年第12期78-82,共5页孙国栋 苏盛辉 徐茂智 
国家“863”计划基金资助项目(2009AA01Z441);国家“973”计划基金资助项目(2007CB311100)
针对确定性公钥密码体制不能抵抗选择明文攻击的弱点,基于REESSE1+公钥密码体制设计2种概率加密方案,使同一明文对应的密文具有不确定性。方案1在明文比特序列的奇数位置插入相同长度的随机比特串,产生新的随机明文序列,并对该序列进行...
关键词：概率加密 REESSE1+公钥密码体制 多变量组合问题 非范子集积问题 选择明文攻击 互素序列 
基于行为的可信动态度量的状态空间约简研究被引量：2
《计算机学报》2014年第5期1071-1081,共11页庄琭 沈昌祥 蔡勉 
国家"九七三"重点基础研究发展规划项目基金(2007CB311100);国家"八六三"高技术研究发展计划项目基金(2009AA012437);国家科技重大专项基金(2010ZX01037-001-001;2012ZX03002003);北京自然科学基金面上项目(4122012)资助~~
针对复杂并发计算机系统行为可信的动态度量研究中,细粒度动态度量所引发的状态空间爆炸问题一直是研究的难点.文中基于并发理论研究复杂并发计算机系统行为可信问题,在保障度量可靠性的前提下对系统状态空间进行约简,即通过标记变迁系...
关键词：可信动态度量 细粒度度量 状态空间约简 行为关系 行为预期获取 网络安全 信息安全 
AIP:a tool for flexible and transparent data management被引量：1
《Science China(Information Sciences)》2013年第5期186-196,共11页ZHANG GuangYan QIU JianPing SHU JiWu ZHENG WeiMin 
supported by National Natural Science Foundation of China (Grant Nos. 60903183,61170008);National High Technology Research and Development Program of China (Grant No. 2009AA01A403);National Basic Research Program of China (Grant No. 2007CB311100)
Existing data management tools have some limitations such as restrictions to specific file systems or shortage of transparence to applications. In this paper, we present a new data management tool called AIP, which is...
关键词：data management DMAPI management policy differentiated collection resource arbitration 
基于时空混沌同步的同步密钥生成算法被引量：1
《北京工业大学学报》2013年第5期696-699,共4页易小琳 刘旭辉 
国家"973"计划资助项目(2007CB311100)
为解决现存密钥分配方案中计算复杂、效率低的问题,提出了一种基于时空混沌同步的同步密钥生成算法.该算法能使通信双方同步产生相同的任意长度的密钥,实现了"一次一密"的会话密钥.经过分析及实验测试,该算法满足安全性要求,并能产生高...
关键词：时空混沌同步 同步密钥 会话密钥 单向耦合映象格点(OCOML) 单向耦合映象环点(OCRML) 
一种操作系统内核完整性度量方法被引量：1
《小型微型计算机系统》2013年第5期997-1002,共6页李瑜 赵勇 林莉 姜伟 詹静 辛思远 
国家"八六三"高技术研究发展计划项目(2009AA01Z437)资助;国家"九七三"重点基础研究发展计划项目(2007CB311100)资助;国家核高基项目(2010ZX01037-001-001)资助;信息安全国家重点实验室(中国科学院软件研究所)开放课题-网络安全与密码技术福建省高校重点实验室开放课题基金(2011009)资助;北京工业大学博士启动基金项目(X00700054R1764)资助
操作系统为应用软件提供基础的运行环境,内核的完整性是操作系统安全的核心,针对内核度量对象的关联性不足问题,本文提出了一种新的操作系统内核完整性度量方法,将度量阶段分为前、中、后三个阶段,通过内核上下文将前后各个阶段的度量...
关键词：可信计算 可信度量 操作系统内核 完整性保护 
全程一致访问控制的策略管理
《武汉大学学报（理学版）》2013年第2期148-152,共5页韩培胜 赵勇 李瑜 
国家高技术研究发展计划(863计划)项目(2009AA01Z437);国家重点基础研究发展计划(973计划)项目(2007CB311100);信息安全国家重点实验室(中国科学院软件研究所)开放课题基金资助
针对全程一致访问控制中的策略管理需求,制定了策略管理框架,基于面向对象的方法构建了系统信息库,根据对象间的关系实现了策略的统一描述和翻译.该方法能够将各访问控制节点联合成为统一的整体,有效地解决系统中策略统一管理和统一描...
关键词：访问控制 全程一致 策略描述语言 策略翻译 
基于Logistic模型的P2P资源流行程度分析
《北京工业大学学报》2013年第3期407-411,429,共6页张涛 张建标 林莉 
国家"973"计划资助项目(2007CB311100);北京市自然科学基金面上资助项目(4122012);北京工业大学博士启动基金资助项目(00700054R1764)
为了解决目标资源数量增多而带来的监管成本过高的问题,提出一种基于Logistic模型的资源流行程度分析方法.利用该方法估计目标资源的流行程度,剔除流行程度低的资源,以此缩小监控范围,减少节点的部署数量.在Kad中对不同资源进行追踪,统...
关键词：对等网络 Logistics模型 流行程度统计 决策树 
基于进程代数的TCG远程证明协议的形式化验证被引量：5
《计算机研究与发展》2013年第2期325-331,共7页王勇 方娟 任兴田 林莉 
国家"九七三"重点基础研究发展计划基金项目(2007CB311100);北京市教委科技计划基金项目(JC007011201004);北京市人才强教中青年骨干培养基金项目
可信计算组织(Trusted Computing Group,TCG)的远程证明协议是最早提出的远程证明的解决方案,其协议的形式化验证对于工程实施具有重要意义.分析了TCG远程证明协议的两种形式——直接证明协议和借助可信第三方的证明协议,对它们进行了...
关键词：可信计算 远程证明 协议验证 形式化 进程代数 
全选清除导出
共17页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部