国家高技术研究发展计划(2009AA01Z437)

作品数：37被引量：147H指数：5
导出分析报告
相关作者：赵勇张宏莉李瑜陈泽茂沈昌祥更多>>
相关机构：北京工业大学解放军信息工程大学中国科学院软件研究所中国人民解放军海军工程大学更多>>
相关期刊：《高技术通讯》《信息网络安全》《计算机仿真》《计算机技术与发展》更多>>
相关主题：访问控制信息安全可信计算身份认证无干扰更多>>
相关领域：自动化与计算机技术电子电信自然科学总论更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
物联网一体化安全检测体系架构研究
《信息安全与技术》2014年第4期13-17,共5页范红 
国家863高技术研究发展计划资助项目(2009AA01Z437);国家863高技术研究发展计划资助项目(2009AA01Z439)
安全问题是物联网健康顺利发展的关键环节,但物联网面临的安全问题更轻量级、更复杂、更平民化。单一的技术符合性检测无法满足现实需求,为此本文提出物联网一体化安全检测体系架构,构建"一中心、两库、五平台"实现物联网安全技术符合...
关键词：物联网 信息安全 检测体系 
基于密码隔离的信息泄漏防御方案
《计算机工程与设计》2013年第5期1579-1583,共5页王浩 陈泽茂 黄碧翼 李铮 
国家863高技术研究发展计划基金项目(2009AA01Z437);中国博士后特别基金项目(201003757)
针对传统访问控制模型受限于访问控制策略的高效性和完整性问题,提出一种基于密码隔离的信息泄漏防御方案,方案包含一个信息泄漏防御模型和一个密钥分配方案。信息泄漏防御模型基于密码学原理,克服了逻辑隔离易被旁路的脆弱性,通过引入...
关键词：安全模型 密码隔离 安全标签树 双重加密 密钥分配 
一种操作系统内核完整性度量方法被引量：1
《小型微型计算机系统》2013年第5期997-1002,共6页李瑜 赵勇 林莉 姜伟 詹静 辛思远 
国家"八六三"高技术研究发展计划项目(2009AA01Z437)资助;国家"九七三"重点基础研究发展计划项目(2007CB311100)资助;国家核高基项目(2010ZX01037-001-001)资助;信息安全国家重点实验室(中国科学院软件研究所)开放课题-网络安全与密码技术福建省高校重点实验室开放课题基金(2011009)资助;北京工业大学博士启动基金项目(X00700054R1764)资助
操作系统为应用软件提供基础的运行环境,内核的完整性是操作系统安全的核心,针对内核度量对象的关联性不足问题,本文提出了一种新的操作系统内核完整性度量方法,将度量阶段分为前、中、后三个阶段,通过内核上下文将前后各个阶段的度量...
关键词：可信计算 可信度量 操作系统内核 完整性保护 
全程一致访问控制的策略管理
《武汉大学学报（理学版）》2013年第2期148-152,共5页韩培胜 赵勇 李瑜 
国家高技术研究发展计划(863计划)项目(2009AA01Z437);国家重点基础研究发展计划(973计划)项目(2007CB311100);信息安全国家重点实验室(中国科学院软件研究所)开放课题基金资助
针对全程一致访问控制中的策略管理需求,制定了策略管理框架,基于面向对象的方法构建了系统信息库,根据对象间的关系实现了策略的统一描述和翻译.该方法能够将各访问控制节点联合成为统一的整体,有效地解决系统中策略统一管理和统一描...
关键词：访问控制 全程一致 策略描述语言 策略翻译 
移动存储介质端到端加密系统设计与实现被引量：6
《计算机工程与设计》2013年第1期1-7,共7页宁静 赵勇 庄琭 李瑜 
国家973重点基础研究发展计划基金项目(2007CB311100);国家863高技术研究发展计划基金项目(2009AA01Z437);国家核高基基金项目(2010ZX01037-001-001);网络安全与密码技术福建省高校重点实验室开放课题基金项目(2011009)
为构建安全可信的移动存储介质端到端数据传输过程,提出了一个移动存储介质上文件级别的细粒度加密传输系统,保证加密文件只能被指定用户或用户组解密。系统以公钥基础设施(PKI)为框架,采用数字证书和数字信封技术对存入介质的文件进行...
关键词：移动存储介质 公钥基础设施 端到端加密 数字证书 数字信封 身份认证 
基于签密的多级安全网络接入认证协议
《武汉理工大学学报》2012年第11期144-148,共5页陈泽茂 王浩 朱婷婷 
国家"863"计划(2009AA01Z437);国家自然科学基金(61100042)
为增强多级安全网络(Multi-Level Security Network,MLSN)接入认证的性能和安全性,提出了一种新的接入认证协议。它对可信网络连接(Trusted Network Connection)进行增强,实现了双向的平台可信性评估;通过引入了安全属性检查组件,对平...
关键词：多级安全网络 可信网络连接 接入认证 签密 安全属性检查 
具有共享属性的信息系统安全模型
《北京工业大学学报》2012年第11期1654-1658,共5页高朝勤 肖创柏 高允翔 徐潇 
国家'863'计划资助项目(2009AA01Z437);北京市自然科学基金资助项目(4110001)
针对多级安全信息系统中的信息保护和共享问题,将独立计算机系统中的BLP模型扩展至信息系统,引入需享原则和多级客体的概念,建立了一个面向应用的信息系统多级安全模型,提出信息系统的安全假设,给出了信息系统安全模型的形式化描述.该...
关键词：信息系统 访问控制 安全模型 多级安全 
基于证书有效性凭据的UMTS认证和密钥协商协议被引量：1
《武汉理工大学学报》2012年第9期129-134,共6页陈泽茂 赵俊阁 李铮 
国家"863"计划(2009AA01Z437);国家自然科学基金(61100042)
提出了一种混合采用对称密码加密和公钥密码认证的第3代移动通信系统认证和密钥协商(UMTS AKA)协议。在该协议中,归属网络负责在线验证拜访网络公钥证书的有效性,然后生成一个简短的安全凭据,拜访网络通过向移动设备(ME)出示该凭据证实...
关键词：UMTS安全 认证 密钥协商 无线安全 第3代移动通信 
动态远程证明协议及其形式化分析
《计算机工程与设计》2012年第8期2901-2905,共5页辛思远 赵勇 王婷 
国家973重点基础研究发展计划基金项目(2007CB311100);国家863高技术研究发展计划基金项目(2009AA01Z437);国家核高基项目(2010ZX01037-001-001);信息安全国家重点实验室(中国科学院软件研究所)开放课题
针对程序的运行时动态攻击给远程证明带来的安全威胁,设计一种动态远程证明协议DRAP,对内存中处于运行状态的程序实施实时的动态度量,并向远程验证方证明平台实时状态。针对DRAP协议所用的TPM功能对LS2逻辑进行扩展,引入重置规则、时刻...
关键词：动态度量 远程证明 时间戳 LS2逻辑 形式化分析 
可信云计算平台中外部信任实体的安全性研究被引量：5
《计算机仿真》2012年第6期156-158,共3页吴遥 赵勇 
国家863高技术研究发展计划(2009AA01Z437);国家973项目(2007CB311100);国家核高基项(2010ZX01037-001-001)
2009年国外研究者提出了可信云计算平台模型,并给出了相关设计。但是在该模型中,并未对外部可信实体的安全性进行分析。由于在整个模型中所给出的各类行为与外部可信实体密切相关,一旦可信实体遭到威胁,整个模型的安全性将遭到破坏。在...
关键词：云计算 可信计算 可信云计算 度量 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部