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

概率系统的非传递无干扰安全属性分析被引量：1: 1; 作者姜励平玲娣 +2 位作者陈小平潘雪增李善平《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2008年第12期2092-2096,共5页; 为了实现概率信息的安全降密和信道控制等重要安全策略,将可信域的概念引入概率安全进程代数,并以此为工具将非传递无干扰信息流安全模型推广到概率系统.在弱概率互拟等价的基础上讨论了非传递概率信息流安全属性,提出了非传递概率互拟... 展开更多; 关键词非传递无干扰信息流安全概率系统进程代数弱互拟; 在线阅读下载PDF 职称材料

支持进程代码修改的非传递无干扰可信模型被引量：2: 2; 作者徐甫《计算机工程》 CAS CSCD 2013年第11期150-153,168,共5页; 基于无干扰理论的可信模型要求进程在系统运行过程中始终不被修改,制约了可信计算平台的应用。针对该问题,扩展非传递无干扰理论,使其支持对安全域的修改,在此基础上提出一种基于非传递无干扰理论,且支持进程代码修改的可信模型,并在新... 展开更多; 关键词可信模型非传递无干扰代码修改静态干扰动态干扰运行可信; 在线阅读下载PDF 职称材料

基于iP-可观测属性的动态非传递无干扰模型: 3; 作者迮恺陈丹庄毅《计算机工程》 CAS CSCD 北大核心 2018年第12期173-177,183,共6页; 针对现有信息流模型对于系统动态可信性判定过于严格的问题,提出一种基于iP-可观测属性检查的动态非传递无干扰模型。将系统抽象为一个六元组,从无干扰理论、系统状态可观察性和系统状态影响因素三方面出发,通过引入iP-可观测属性,经由... 展开更多; 关键词 iP-可观测属性非传递无干扰 P-可观测属性属性检查算法自动机模型; 在线阅读下载PDF 职称材料

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

题名概率系统的非传递无干扰安全属性分析被引量：1: 1; 作者姜励平玲娣陈小平潘雪增李善平; 机构浙江大学计算机科学与技术学院; 出处《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2008年第12期2092-2096,共5页; 基金国家"863"高技术研究发展计划资助项目(2006AA01Z431); 文摘为了实现概率信息的安全降密和信道控制等重要安全策略,将可信域的概念引入概率安全进程代数,并以此为工具将非传递无干扰信息流安全模型推广到概率系统.在弱概率互拟等价的基础上讨论了非传递概率信息流安全属性,提出了非传递概率互拟强无干扰(I_BSPNI)和非传递概率互拟复合不可演绎(I_PBNDC)安全属性;并要求系统所有可达状态都满足的持久I_PBNDC属性,该性质能够揭露出I_PBNDC在动态环境中不能暴露的安全隐患.为了弥补互拟复合不可演绎类性质难于验证的缺点,使用基于单步状态的展开条件定义了强I_PBNDC属性.最后分析并证明了这些安全属性之间的包含关系.; 关键词非传递无干扰信息流安全概率系统进程代数弱互拟; Keywords intransitive noninterference information flow security probabilistic system process algebraweak bisimulation; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名支持进程代码修改的非传递无干扰可信模型被引量：2: 2; 作者徐甫; 机构解放军信息工程大学; 出处《计算机工程》 CAS CSCD 2013年第11期150-153,168,共5页; 基金国家科技重大专项基金资助项目"新一代宽带无线移动通信网"(2012ZX03002003); 文摘基于无干扰理论的可信模型要求进程在系统运行过程中始终不被修改,制约了可信计算平台的应用。针对该问题,扩展非传递无干扰理论,使其支持对安全域的修改,在此基础上提出一种基于非传递无干扰理论,且支持进程代码修改的可信模型,并在新理论框架下给出进程运行可信的条件,证明进程运行可信定理。分析结果表明,与现有可信模型相比,该模型在保证进程运行可信的同时允许对进程代码进行修改,提高了可信计算平台的实用性。; 关键词可信模型非传递无干扰代码修改静态干扰动态干扰运行可信; Keywords trusted model intransitive noninterfernce codes modification static interference dynamic interference running trusted; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于iP-可观测属性的动态非传递无干扰模型: 3; 作者迮恺陈丹庄毅; 机构南京航空航天大学计算机科学与技术学院; 出处《计算机工程》 CAS CSCD 北大核心 2018年第12期173-177,183,共6页; 基金国家自然科学基金(61572253) "十三五"装备预研共用技术和领域基金(61402420101HK02001) 航空科学基金(2016ZC52030); 文摘针对现有信息流模型对于系统动态可信性判定过于严格的问题,提出一种基于iP-可观测属性检查的动态非传递无干扰模型。将系统抽象为一个六元组,从无干扰理论、系统状态可观察性和系统状态影响因素三方面出发,通过引入iP-可观测属性,经由有限状态自动机模型,将其转变为有限状态自动机中的P-可观测属性,并进一步利用P-可观测属性检查算法反推原系统满足动态非传递无干扰理论。对抽象系统实例的分析结果验证了该模型的有效性。; 关键词 iP-可观测属性非传递无干扰 P-可观测属性属性检查算法自动机模型; Keywords iP-observability attribute Intransitive Noninterference(INI) P-observability attribute attribute checking algorithm automatic machine model; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

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

	题名	作者	出处	发文年	被引量	操作
1	概率系统的非传递无干扰安全属性分析	姜励平玲娣陈小平潘雪增李善平	《浙江大学学报（工学版）》 EI CAS CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
2	支持进程代码修改的非传递无干扰可信模型	徐甫	《计算机工程》 CAS CSCD	2013	2	在线阅读下载PDF 职称材料
3	基于iP-可观测属性的动态非传递无干扰模型	迮恺陈丹庄毅	《计算机工程》 CAS CSCD 北大核心	2018	0	在线阅读下载PDF 职称材料
4	基于信息流的多级动态可信度量模型	迮恺陈丹庄毅	《计算机工程与科学》 CSCD 北大核心	2018	2	在线阅读下载PDF 职称材料