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

多密级子网的网络安全信息流模型: 1; 作者刘益和《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第B06期70-73,共4页; 基于一个拥有多个子网且它们的密级不同的网络，该网络的信息是从低密级子网流向高密级子网，通过引入将子网密级、客体密级和客体的完整性等级相结合的三维安全函数新概念，通过扩充客体和主体，构造出了一个新的安全信息流模型，该模... 展开更多; 关键词予网密级 BLP模型 BIBA模型安全信息流模型; 在线阅读下载PDF 职称材料

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

寄存器传输级硬件设计信息流建模与安全验证: 3; 作者秦茂源侯佳滢 +2 位作者李家乐唐时博邰瑜《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第3期506-513,共8页; 近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化... 展开更多; 关键词硬件安全信息流安全模型信息流安全验证安全漏洞检测; 在线阅读下载PDF 职称材料

移动边缘计算中安全信息流建模与分析被引量：4: 4; 作者谢娜谭文安 +1 位作者曹彦赵璐《计算机工程》 CAS CSCD 北大核心 2022年第5期35-42,52,共9页; 在移动边缘计算中,移动终端身份存在复杂性和动态性,对于高安全领域的任务卸载,需要对被卸载的任务进行实时跟踪,及时发现滥用行为才能保证任务卸载的安全性。然而,现有方法多基于信任评估机制选择高信任度节点进行卸载,并没有关注该节... 展开更多; 关键词移动边缘计算任务卸载安全信息流模型偶图模型检测; 在线阅读下载PDF 职称材料

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

非传递无干扰下IP安全与TA安全关系研究: 6; 作者吕从东《计算机工程与应用》 CSCD 北大核心 2018年第8期78-84,共7页; IP安全适用于非传递策略的无干扰模型。但是,满足IP安全的系统中仍然存在类似于动作先后顺序这样的信息,因此,提出了新的无干扰模型TA安全。对非传递无干扰下IP安全和TA安全进行比较分析,给出函数ipurge与函数ta的差别条件,函数ta隐藏... 展开更多; 关键词无干扰信息流安全模型 IP安全 TA安全; 在线阅读下载PDF 职称材料

题名多密级子网的网络安全信息流模型: 1; 作者刘益和; 机构内江师范学院计算机与信息科学系网络应用项目开发重点实验室; 出处《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第B06期70-73,共4页; 基金基金项目：国家973资助项目（1999035801）四川省教育厅自然科学重点项目（2006A130）内江师院院级科研项目（06NJZ-5）; 文摘基于一个拥有多个子网且它们的密级不同的网络，该网络的信息是从低密级子网流向高密级子网，通过引入将子网密级、客体密级和客体的完整性等级相结合的三维安全函数新概念，通过扩充客体和主体，构造出了一个新的安全信息流模型，该模型能较好地反映网络的安全要求。; 关键词予网密级 BLP模型 BIBA模型安全信息流模型; Keywords classifications of the sub-network BLP model Biba model secure information flow model; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于安全进程代数的信息流安全模型的分析与验证: 2; 作者王精明虞慧群; 机构华东理工大学计算机科学与工程系滁州学院计算机科学与技术系; 出处《华东理工大学学报（自然科学版）》 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 职称材料

题名寄存器传输级硬件设计信息流建模与安全验证: 3; 作者秦茂源侯佳滢李家乐唐时博邰瑜; 机构西安工业大学计算机科学与工程学院西北工业大学网络空间安全学院; 出处《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第3期506-513,共8页; 基金国家自然科学基金(U23B2041,62074131) 西安市碑林区科技计划(GX2136) 陕西省科技计划(2022JM-379)资助。; 文摘近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化语言对硬件设计进行重新描述。因此,提出了一种寄存器传输级硬件设计信息流建模与安全验证方法。该方法在寄存器传输级功能模型的基础上构建附加安全属性的信息流跟踪逻辑模型,从信息流角度建模设计安全行为和安全属性,并利用EDA测试验证工具,以无干扰为策略捕捉违反安全策略的有害信息流,检测硬件设计安全漏洞。以Trust-Hub硬件木马测试集为测试对象的实验结果表明:所提方法能够有效检测设计内潜藏的硬件木马。; 关键词硬件安全信息流安全模型信息流安全验证安全漏洞检测; Keywords hardware design information flow security model information flow security verification security vulnerability detection; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名移动边缘计算中安全信息流建模与分析被引量：4: 4; 作者谢娜谭文安曹彦赵璐; 机构南京航空航天大学计算机科学与技术学院上海第二工业大学计算机与信息工程学院许昌学院信息工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2022年第5期35-42,52,共9页; 基金国家自然科学基金(61672022,U1904186) 河南省科技公关项目(222102210048) 河南省高等学校重点科研项目(22A520040)。; 文摘在移动边缘计算中,移动终端身份存在复杂性和动态性,对于高安全领域的任务卸载,需要对被卸载的任务进行实时跟踪,及时发现滥用行为才能保证任务卸载的安全性。然而,现有方法多基于信任评估机制选择高信任度节点进行卸载,并没有关注该节点自身发起的内部攻击问题。提出一种支持安全性分析的任务卸载方法。设计包含安全性分析的任务卸载流程,构建面向移动边缘计算的多级安全信息流模型,用于约束服务卸载、数据卸载和服务执行过程。在此基础上,基于偶图对任务卸载过程进行建模,构造标注迁移边的标号变迁系统,并利用模型检测技术验证是否满足相应的安全需求。案例分析和性能评估结果表明,该方法能够在秒级时间内预测任务卸载中的恶意行为,具有较好的可行性和有效性。; 关键词移动边缘计算任务卸载安全信息流模型偶图模型检测; Keywords Mobile Edge Computing(MEC) task offloading security information flow model bigraph model checking; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于安全进程代数的非演绎安全模型的分析与验证被引量：1: 5; 作者王精明虞慧群; 机构华东理工大学计算机科学与工程系滁州学院计算机与信息工程学院; 出处《计算机科学》 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 职称材料

题名非传递无干扰下IP安全与TA安全关系研究: 6; 作者吕从东; 机构南京审计大学中国审计情报中心; 出处《计算机工程与应用》 CSCD 北大核心 2018年第8期78-84,共7页; 基金江苏省高等学校自然科学研究项目(No.17KJD520005) 南京审计大学人才引进项目; 文摘 IP安全适用于非传递策略的无干扰模型。但是,满足IP安全的系统中仍然存在类似于动作先后顺序这样的信息,因此,提出了新的无干扰模型TA安全。对非传递无干扰下IP安全和TA安全进行比较分析,给出函数ipurge与函数ta的差别条件,函数ta隐藏了动作序列中部分动作的先后顺序,这些动作的先后顺序对于安全域是一种额外的信息。然后,使用该差别条件,提出当系统满足IP安全时,使系统满足TA安全所需要的条件并进行形式化推导。; 关键词无干扰信息流安全模型 IP安全 TA安全; Keywords noninterference information security model IP-secure TA-secure; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	多密级子网的网络安全信息流模型	刘益和	《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
2	基于安全进程代数的信息流安全模型的分析与验证	王精明虞慧群	《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料
3	寄存器传输级硬件设计信息流建模与安全验证	秦茂源侯佳滢李家乐唐时博邰瑜	《西北工业大学学报》 EI CAS CSCD 北大核心	2024	0	在线阅读下载PDF 职称材料
4	移动边缘计算中安全信息流建模与分析	谢娜谭文安曹彦赵璐	《计算机工程》 CAS CSCD 北大核心	2022	4	在线阅读下载PDF 职称材料
5	基于安全进程代数的非演绎安全模型的分析与验证	王精明虞慧群	《计算机科学》 CSCD 北大核心	2012	1	在线阅读下载PDF 职称材料
6	非传递无干扰下IP安全与TA安全关系研究	吕从东	《计算机工程与应用》 CSCD 北大核心	2018	0	在线阅读下载PDF 职称材料