检索结果-维普期刊中文期刊服务平台

完整性条件下无干扰模型被引量：8: 1; 作者张帆陈曙 +1 位作者桑永宣游林《通信学报》 EI CSCD 北大核心 2011年第10期78-85,共8页; 以Rushby的无干扰工作为基础,对完整性条件下的无干扰模型进行了研究:指出了Rushby所定义的视图划分系统和基于引用监视器假设的系统在完整性条件下和机密性条件下一样,都是满足无干扰的;给出了Biba模型的无干扰解释;提出了动作等价关系... 展开更多; 关键词无干扰完整性机密性信息安全可信计算; 在线阅读下载PDF 职称材料

一种基于无干扰的软件动态行为可信性分析方法被引量：5: 2; 作者张帆江敏 +1 位作者吴怀广徐明迪《计算机科学》 CSCD 北大核心 2012年第1期101-103,114,共4页; 软件动态行为度量是可信计算必须要解决的核心问题之一。解决这个问题有两个关键步骤:第一,对软件动态行为进行行为建模;第二,对建模后的软件动态行为进行行为可信性分析。针对第二步,即建模完成后的行为可信性分析问题进行了研究,提出... 展开更多; 关键词可信计算完整性度量无干扰信息流; 在线阅读下载PDF 职称材料

基于无干扰理论的完整性度量模型被引量：2: 3; 作者邱罡王玉磊周利华《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2010年第4期117-120,共4页; 针对现有可信计算完整性度量方案不能反映程序执行时动态特征的问题,提出一种基于系统操作无干扰的完整性度量模型,该模型借鉴信息流的无干扰理论,通过分析进程操作的完整性及进程间完整性的传递,从动态的角度对系统的运行完整性进行度... 展开更多; 关键词信息流无干扰可信计算远程证明完整性度量; 在线阅读下载PDF 职称材料

基于信息流的可信操作系统度量架构被引量：3: 4; 作者胡浩张敏冯登国《中国科学院研究生院学报》 CAS CSCD 北大核心 2009年第4期522-529,共8页; 将信息流和可信计算技术结合,可以更好地保护操作系统完整性.但现有的可信计算度量机制存在动态性和效率方面的不足,而描述信息流的Biba完整性模型在应用时又存在单调性缺陷.本文将两者结合起来,基于Biba模型,以可信计算平台模块TPM为... 展开更多; 关键词操作系统完整性信息流可信计算完整性度量; 在线阅读下载PDF 职称材料

用于细粒度完整性度量的非平衡二叉哈希树模型被引量：4: 5; 作者朱毅李清宝 +1 位作者钟春丽王炜《小型微型计算机系统》 CSCD 北大核心 2014年第7期1604-1609,共6页; 莫克尔哈希树是一种维护完整性信息的经典模型,在可信计算与软件防篡改领域应用广泛.莫克尔哈希树的构建基于满二叉树,实际应用时经常需要进行数据填充操作,易造成时空开销浪费.基于数学建模方法,对消除冗余节点后的莫克尔哈希树进行建... 展开更多; 关键词信息系统安全可信计算完整性度量莫克尔哈希树非平衡二叉树; 在线阅读下载PDF 职称材料

基于信息流的多级动态可信度量模型被引量：2: 6; 作者迮恺陈丹庄毅《计算机工程与科学》 CSCD 北大核心 2018年第12期2156-2163,共8页; 系统运行时受环境和各种外界因素影响,加之内部多实体间信息流相互干扰,可能会破坏系统的可信性,最终导致产生非预期输出。现有研究主要针对初始化可信硬件环境下实体的完整性度量,未能考虑机密性带来的可信影响,同时对于实体可信度量... 展开更多; 关键词可信度量信息流非传递无干扰访问控制形式化描述; 在线阅读下载PDF 职称材料

题名完整性条件下无干扰模型被引量：8: 1; 作者张帆陈曙桑永宣游林; 机构杭州电子科技大学通信工程学院华中师范大学计算机科学系; 出处《通信学报》 EI CSCD 北大核心 2011年第10期78-85,共8页; 基金国家高技术研究发展计划基金资助项目("863"计划)基金资助项目(2007AA01Z85) 浙江省自然科学基金杰出青年团队资助项目(R1090138)~~; 文摘以Rushby的无干扰工作为基础,对完整性条件下的无干扰模型进行了研究:指出了Rushby所定义的视图划分系统和基于引用监视器假设的系统在完整性条件下和机密性条件下一样,都是满足无干扰的;给出了Biba模型的无干扰解释;提出了动作等价关系,并利用动作等价关系研究了完整性条件下的信息流释放问题;提出了等价自动机和纯化等价自动机的观点,并说明了如何利用这2个图形化的工具帮助进行完整性无干扰推演。; 关键词无干扰完整性机密性信息安全可信计算; Keywords noninterference integrity confidentiality information security trusted computing; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种基于无干扰的软件动态行为可信性分析方法被引量：5: 2; 作者张帆江敏吴怀广徐明迪; 机构杭州电子科技大学通信工程学院厦门大学智能科学系郑州轻工业学院计算机与通信工程学院武汉数字工程研究所系统软件部; 出处《计算机科学》 CSCD 北大核心 2012年第1期101-103,114,共4页; 基金国家自然科学基金(61003014/F020101) 浙江省自然科学基金杰出青年团队项目(R1090138) 武器装备预研基金(9140A15040211)资助; 文摘软件动态行为度量是可信计算必须要解决的核心问题之一。解决这个问题有两个关键步骤:第一,对软件动态行为进行行为建模;第二,对建模后的软件动态行为进行行为可信性分析。针对第二步,即建模完成后的行为可信性分析问题进行了研究,提出一种基于无干扰的软件动态行为可信性分析方法,并从理论上给出了行为可信性判定定理。; 关键词可信计算完整性度量无干扰信息流; Keywords trusted computing, integrity measurement,noninterference,information flow; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于无干扰理论的完整性度量模型被引量：2: 3; 作者邱罡王玉磊周利华; 机构西安电子科技大学CNIS教育部重点实验室南阳理工学院网络中心; 出处《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2010年第4期117-120,共4页; 基金国家自然科学基金资助项目(6063320) 河南省科技攻关计划资助项目(102102210432) 南阳市科技攻关项目(2007G0803); 文摘针对现有可信计算完整性度量方案不能反映程序执行时动态特征的问题,提出一种基于系统操作无干扰的完整性度量模型,该模型借鉴信息流的无干扰理论,通过分析进程操作的完整性及进程间完整性的传递,从动态的角度对系统的运行完整性进行度量。对该模型进行形式化的描述和分析表明,该模型直观、易懂,且不局限于某种特定的实现方式。; 关键词信息流无干扰可信计算远程证明完整性度量; Keywords information flow noninterference trusted computing remote attestation integrity measurement; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于信息流的可信操作系统度量架构被引量：3: 4; 作者胡浩张敏冯登国; 机构中国科学技术大学电子工程与信息科学系中国科学院软件研究所信息安全国家重点实验室信息安全共性技术国家工程研究中心; 出处《中国科学院研究生院学报》 CAS CSCD 北大核心 2009年第4期522-529,共8页; 基金国家科技支撑计划(2006BAH02A02) 国家高技术研究发展计划(863)(2006AA01Z454 2007AA01Z412)资助; 文摘将信息流和可信计算技术结合,可以更好地保护操作系统完整性.但现有的可信计算度量机制存在动态性和效率方面的不足,而描述信息流的Biba完整性模型在应用时又存在单调性缺陷.本文将两者结合起来,基于Biba模型,以可信计算平台模块TPM为硬件信任根,引入信息流完整性,并提出了可信操作系统度量架构:BIFI.实验表明,BIFI不仅能很好地保护信息流完整性,而且对现有系统的改动很少,保证了效率.; 关键词操作系统完整性信息流可信计算完整性度量; Keywords operating system integrity, information flow, trusted computing, integrity measurement; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名用于细粒度完整性度量的非平衡二叉哈希树模型被引量：4: 5; 作者朱毅李清宝钟春丽王炜; 机构解放军信息工程大学数学工程与先进计算国家重点实验室; 出处《小型微型计算机系统》 CSCD 北大核心 2014年第7期1604-1609,共6页; 基金国家"核高基"重大科技专项项目(2010ZX01037-001-001)资助未来发展基金项目(1201)资助; 文摘莫克尔哈希树是一种维护完整性信息的经典模型,在可信计算与软件防篡改领域应用广泛.莫克尔哈希树的构建基于满二叉树,实际应用时经常需要进行数据填充操作,易造成时空开销浪费.基于数学建模方法,对消除冗余节点后的莫克尔哈希树进行建模分析,提出一种以非平衡二叉树为基础的改进哈希树模型.该模型的树节点数量可根据实际需求动态增加,空间利用率高.实验结果表明,改进哈系树模型空间开销减少约25%;树构建过程时间开销减少约8%,且该模型不需要预先分配存储空间,特别适用于数据量动态增加对象的完整性保护.; 关键词信息系统安全可信计算完整性度量莫克尔哈希树非平衡二叉树; Keywords information security trusted computing integrity measurement Merkle Hash-tree non-balanced binary tree; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于信息流的多级动态可信度量模型被引量：2: 6; 作者迮恺陈丹庄毅; 机构南京航空航天大学计算机科学与技术学院软件新技术与产业化协同创新中心; 出处《计算机工程与科学》 CSCD 北大核心 2018年第12期2156-2163,共8页; 基金国家自然科学基金(61572253) "十三五"装备预研领域基金(61402420101HK02001) 航空科学基金(2016ZC52030); 文摘系统运行时受环境和各种外界因素影响,加之内部多实体间信息流相互干扰,可能会破坏系统的可信性,最终导致产生非预期输出。现有研究主要针对初始化可信硬件环境下实体的完整性度量,未能考虑机密性带来的可信影响,同时对于实体可信度量的频率未能与实体推进时机同步。基于此提出一种基于信息流传递理论的多级动态可信度量模型,该模型以信息流的非传递无干扰理论为依据,通过引入可信代理模块,设计一种多级安全访问控制策略,分别从实体完整性和机密性两方面对系统中实体进行动态可信性度量。最后给出该模型的形式化描述和可信证明,结合抽象系统实例来说明该模型的有效性,相比现有研究,所提模型具有更好的度量实时性,是一种上下文感知的细粒度可信度量模型。; 关键词可信度量信息流非传递无干扰访问控制形式化描述; Keywords trusted measurement information flow intransitive noninterference access control formal description; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	完整性条件下无干扰模型	张帆陈曙桑永宣游林	《通信学报》 EI CSCD 北大核心	2011	8	在线阅读下载PDF 职称材料
2	一种基于无干扰的软件动态行为可信性分析方法	张帆江敏吴怀广徐明迪	《计算机科学》 CSCD 北大核心	2012	5	在线阅读下载PDF 职称材料
3	基于无干扰理论的完整性度量模型	邱罡王玉磊周利华	《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料
4	基于信息流的可信操作系统度量架构	胡浩张敏冯登国	《中国科学院研究生院学报》 CAS CSCD 北大核心	2009	3	在线阅读下载PDF 职称材料
5	用于细粒度完整性度量的非平衡二叉哈希树模型	朱毅李清宝钟春丽王炜	《小型微型计算机系统》 CSCD 北大核心	2014	4	在线阅读下载PDF 职称材料
6	基于信息流的多级动态可信度量模型	迮恺陈丹庄毅	《计算机工程与科学》 CSCD 北大核心	2018	2	在线阅读下载PDF 职称材料