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

信息流控制研究进展被引量：23: 1; 作者吴泽智陈性元 +1 位作者杨智杜学绘《软件学报》 EI CSCD 北大核心 2017年第1期135-159,共25页; 信息流控制能够保证数据与隐私端到端安全,一直是信息安全领域研究的重点和难点.为介绍信息流控制相关的研究现状和进展,首先,从基于格、安全类型系统、安全进程代数和自动机这4个方面介绍了信息流控制的基本理论与模型;其次,从计算机... 展开更多; 关键词信息流控制安全模型安全类型系统进程代数动态污点跟踪; 在线阅读下载PDF 职称材料

计算机安全中的无干扰模型被引量：9: 2; 作者周伟尹青郭金庚《计算机科学》 CSCD 北大核心 2005年第2期159-165,共7页; 与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质。自提出信息流的无干扰概念以来,信息流模型成为安全研究的中心之一,并提出了多种无干扰信息流模型。本文基于进程代数框架研究这些模型,并给出... 展开更多; 关键词安全模型计算机安全进程代数访问控制信息流框架干扰定义概念本质; 在线阅读下载PDF 职称材料

概率信息流安全属性分析被引量：6: 3; 作者赵保华陈波陆超《计算机学报》 EI CSCD 北大核心 2006年第8期1447-1452,共6页; 以进程代数作为分析信息流安全属性的工具,将安全进程代数(SPA)扩展到概率系统,形成概率安全进程代数.使用概率安全进程代数对概率系统建模,在弱概率互拟等价的基础上,讨论了概率信息流安全属性,提出了P_PBNDC,S_PBNDC,CP_PBNDC等基于... 展开更多; 关键词信息流安全概率配置进程代数无干扰弱互拟; 在线阅读下载PDF 职称材料

基于ptSPA的概率时间信息流安全属性分析被引量：2: 4; 作者李超殷丽华郭云川《计算机研究与发展》 EI CSCD 北大核心 2011年第8期1370-1380,共11页; 基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的扩展,提出概率时间安全进程代数ptSPA,给出其形式化语法及语义,引入概率时间弱互拟等价的概念,在此基础上... 展开更多; 关键词信息流分析安全属性进程代数无干扰隐蔽通道; 在线阅读下载PDF 职称材料

动态环境中的概率信息流安全被引量：2: 5; 作者赵保华陈波陆超《西安交通大学学报》 EI CAS CSCD 北大核心 2006年第8期874-877,954,共5页; 在概率安全进程代数的基础上,研究了概率系统在动态环境中的信息流安全,以解决可动态配置的恶意进程对系统带来的危害.同时,提出了动态环境中的概率互拟复合不可演绎性质,即持久P-PBNDC.使用敌意环境下的弱概率互拟和动态敌意环境等概... 展开更多; 关键词信息流安全进程代数动态环境; 在线阅读下载PDF 职称材料

基于安全进程代数的非演绎安全模型的分析与验证被引量：1: 6; 作者王精明虞慧群《计算机科学》 CSCD 北大核心 2012年第2期56-58,共3页; 就刻画安全的性质而言,基于非演绎信息流的安全模型较基于访问控制的安全模型更为确切和本质。在基于迹语义对非演绎信息流安全模型进行分析的基础上,基于安全进程代数给出非演绎模型的形式化描述,然后基于系统的安全进程代数表达式给... 展开更多; 关键词迹语义安全进程代数信息流安全模型非演绎模型; 在线阅读下载PDF 职称材料

基于安全进程代数的信息流安全模型的分析与验证: 7; 作者王精明虞慧群《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第1期102-106,115,共6页; 基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出... 展开更多; 关键词安全进程代数信息流安全模型非推断模型非干扰模型分离模型; 在线阅读下载PDF 职称材料

题名信息流控制研究进展被引量：23: 1; 作者吴泽智陈性元杨智杜学绘; 机构解放军信息工程大学密码科学技术国家重点实验室河南省信息安全重点实验室; 出处《软件学报》 EI CSCD 北大核心 2017年第1期135-159,共25页; 基金国家高技术研究发展计划(863)(2015AA016006 2012AA012704)~~; 文摘信息流控制能够保证数据与隐私端到端安全,一直是信息安全领域研究的重点和难点.为介绍信息流控制相关的研究现状和进展,首先,从基于格、安全类型系统、安全进程代数和自动机这4个方面介绍了信息流控制的基本理论与模型;其次,从计算机层次结构由下而上出发,综述了基于硬件、操作系统、虚拟机、高级语言、低级语言、数据库和网络的信息流控制实现方法,并对比了各类研究的特点;然后,结合当今时代前沿技术,分析了信息流控制在云计算、移动互联、大数据和物联网等新技术下的应用;最后,总结了当前信息流控制相关研究中存在的问题,并针对今后该领域的研究趋势进行了展望,对下一步研究工作有一定的参考价值.; 关键词信息流控制安全模型安全类型系统进程代数动态污点跟踪; Keywords information flow control security model security type system process algebra dynamic taint tracking; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名计算机安全中的无干扰模型被引量：9: 2; 作者周伟尹青郭金庚; 机构信息工程大学网络工程实验室; 出处《计算机科学》 CSCD 北大核心 2005年第2期159-165,共7页; 基金国家863计划信息安全技术主题"网络安全积防御技术"(编号:863-104-06-1); 文摘与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质。自提出信息流的无干扰概念以来,信息流模型成为安全研究的中心之一,并提出了多种无干扰信息流模型。本文基于进程代数框架研究这些模型,并给出了一些新的结果和证明。; 关键词安全模型计算机安全进程代数访问控制信息流框架干扰定义概念本质; Keywords security model, information flow,non-interference,process algebra; 分类号 TP393 [自动化与计算机技术—计算机应用技术] TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名概率信息流安全属性分析被引量：6: 3; 作者赵保华陈波陆超; 机构中国科学技术大学计算机科学与技术系; 出处《计算机学报》 EI CSCD 北大核心 2006年第8期1447-1452,共6页; 基金国家自然科学基金重大研究计划项目(90104010) 国家自然科学基金(60241004) +1 种基金信息产业部242项目基金(2005C56)资助.; 文摘以进程代数作为分析信息流安全属性的工具,将安全进程代数(SPA)扩展到概率系统,形成概率安全进程代数.使用概率安全进程代数对概率系统建模,在弱概率互拟等价的基础上,讨论了概率信息流安全属性,提出了P_PBNDC,S_PBNDC,CP_PBNDC等基于复合的不可演绎的属性,分析了这些安全属性之间的关系,并给出了一个实际的概率系统的例子.; 关键词信息流安全概率配置进程代数无干扰弱互拟; Keywords information flow security probabilistic settings process algebra non interference weak bisimulation; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于ptSPA的概率时间信息流安全属性分析被引量：2: 4; 作者李超殷丽华郭云川; 机构中国科学院计算技术研究所信息安全研究中心中国科学院研究生院; 出处《计算机研究与发展》 EI CSCD 北大核心 2011年第8期1370-1380,共11页; 基金国家"九七三"重点基础研究发展计划基金项目(2007CB311100) 国家"八六三"高技术研究发展计划基金项目(2009AA01Z438) +1 种基金国家自然科学基金项目(61070186 61063002); 文摘基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的扩展,提出概率时间安全进程代数ptSPA,给出其形式化语法及语义,引入概率时间弱互拟等价的概念,在此基础上,讨论概率时间信息流安全属性,提出TBSPNI,PTBNDC,SPTBNDC属性,分析属性的包含性,证明提出的属性在表达能力上强于原有属性,最后给出一个实例,对IMP机制在概率时间配置下进行了建模分析,分析结果表明ptSPA对捕获概率时间隐蔽通道的有效性.; 关键词信息流分析安全属性进程代数无干扰隐蔽通道; Keywords information flow analysis security properties process algebra noninterference covertchannel; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名动态环境中的概率信息流安全被引量：2: 5; 作者赵保华陈波陆超; 机构中国科学技术大学计算机科学与技术系; 出处《西安交通大学学报》 EI CAS CSCD 北大核心 2006年第8期874-877,954,共5页; 基金国家自然科学基金重大研究计划资助项目(90104010) 国家自然科学基金资助项目(60241004) +1 种基金信息产业部国家242信息安全计划资助项目(2005C56); 文摘在概率安全进程代数的基础上,研究了概率系统在动态环境中的信息流安全,以解决可动态配置的恶意进程对系统带来的危害.同时,提出了动态环境中的概率互拟复合不可演绎性质,即持久P-PBNDC.使用敌意环境下的弱概率互拟和动态敌意环境等概念讨论了P-PBNDC是概率系统在动态环境中合适的信息流安全性质,该性质能够揭露出概率互拟复合不可演绎性质(PBNDC)所不能暴露的潜在的安全隐患.最后,证明了P-PBNDC和SBSPNI性质的一致性,在限制算子和前缀算子下的P-PBNDC具有复合性质,而在并行算子下不具有复合性质.; 关键词信息流安全进程代数动态环境; Keywords information flow security process algebra dynamic context; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于安全进程代数的非演绎安全模型的分析与验证被引量：1: 6; 作者王精明虞慧群; 机构华东理工大学计算机科学与工程系滁州学院计算机与信息工程学院; 出处《计算机科学》 CSCD 北大核心 2012年第2期56-58,共3页; 基金国家自然科学基金(61173048 60773094 +3 种基金 60473055) 上海市曙光计划(07SG32) 安徽省滁州市滁州学院重点自然科学基金项目(2010kj008Z)资助; 文摘就刻画安全的性质而言,基于非演绎信息流的安全模型较基于访问控制的安全模型更为确切和本质。在基于迹语义对非演绎信息流安全模型进行分析的基础上,基于安全进程代数给出非演绎模型的形式化描述,然后基于系统的安全进程代数表达式给出非演绎模型的验证算法且开发了相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。; 关键词迹语义安全进程代数信息流安全模型非演绎模型; Keywords Trace semantics security process algebra information flow security model Non-deducibility model; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于安全进程代数的信息流安全模型的分析与验证: 7; 作者王精明虞慧群; 机构华东理工大学计算机科学与工程系滁州学院计算机科学与技术系; 出处《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第1期102-106,115,共6页; 基金国家自然科学基金(60473055 60773094) +2 种基金上海市曙光计划(07SG32) 滁州学院自然科学基金项目(2010kj008Z); 文摘基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出验证算法,并开发出验证工具,最后通过实例说明了该验证工具的使用。; 关键词安全进程代数信息流安全模型非推断模型非干扰模型分离模型; Keywords security process algebra information flow security model non-inference model non-interference model separability model; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	信息流控制研究进展	吴泽智陈性元杨智杜学绘	《软件学报》 EI CSCD 北大核心	2017	23	在线阅读下载PDF 职称材料
2	计算机安全中的无干扰模型	周伟尹青郭金庚	《计算机科学》 CSCD 北大核心	2005	9	在线阅读下载PDF 职称材料
3	概率信息流安全属性分析	赵保华陈波陆超	《计算机学报》 EI CSCD 北大核心	2006	6	在线阅读下载PDF 职称材料
4	基于ptSPA的概率时间信息流安全属性分析	李超殷丽华郭云川	《计算机研究与发展》 EI CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
5	动态环境中的概率信息流安全	赵保华陈波陆超	《西安交通大学学报》 EI CAS CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
6	基于安全进程代数的非演绎安全模型的分析与验证	王精明虞慧群	《计算机科学》 CSCD 北大核心	2012	1	在线阅读下载PDF 职称材料
7	基于安全进程代数的信息流安全模型的分析与验证	王精明虞慧群	《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料