-

检索结果分析

结果分析中...
检索条件:"关键词=信息流安全模型 "
条 记 录,以下是1-5
视图:
排序:
显示条数:
基于Petri网的非演绎安全模型的分析与验证
《滁州学院学报》2012年第2期21-23,49,共4页王精明 江怡顺 
安徽省高校省级自然科学研究基金项目(KJ2011Z279);滁州学院重点自然科学基金项目(2010kj008Z)
就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给...
关键词:迹语义 PETRI网 信息流安全模型 非演绎模型 
基于安全进程代数的信息流安全模型的分析与验证
《华东理工大学学报(自然科学版)》2012年第1期102-106,115,共6页王精明 虞慧群 
国家自然科学基金(60473055;60773094);上海市曙光计划(07SG32);安徽省高校省级自然科学研究基金项目(KJ2011Z279);滁州学院自然科学基金项目(2010kj008Z)
基于信息流安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出...
关键词:安全进程代数 信息流安全模型 非推断模型 非干扰模型 分离模型 
非传递无干扰下IP安全与TA安全关系研究
《计算机工程与应用》2018年第8期78-84,共7页吕从东 
江苏省高等学校自然科学研究项目(No.17KJD520005);南京审计大学人才引进项目
IP安全适用于非传递策略的无干扰模型。但是,满足IP安全的系统中仍然存在类似于动作先后顺序这样的信息,因此,提出了新的无干扰模型TA安全。对非传递无干扰下IP安全和TA安全进行比较分析,给出函数ipurge与函数ta的差别条件,函数ta隐藏...
关键词:无干扰 信息流安全模型 IP安全 TA安全 
基于安全进程代数的非演绎安全模型的分析与验证被引量:1
《计算机科学》2012年第2期56-58,共3页王精明 虞慧群 
国家自然科学基金(61173048;60773094;60473055);上海市曙光计划(07SG32);安徽省高校省级自然科学研究基金项目(KJ2011Z279);安徽省滁州市滁州学院重点自然科学基金项目(2010kj008Z)资助
就刻画安全的性质而言,基于非演绎信息流安全模型较基于访问控制的安全模型更为确切和本质。在基于迹语义对非演绎信息流安全模型进行分析的基础上,基于安全进程代数给出非演绎模型的形式化描述,然后基于系统的安全进程代数表达式给...
关键词:迹语义 安全进程代数 信息流安全模型 非演绎模型 
寄存器传输级硬件设计信息流建模与安全验证
《西北工业大学学报》2024年第3期506-513,共8页秦茂源 侯佳滢 李家乐 唐时博 邰瑜 
国家自然科学基金(U23B2041,62074131);西安市碑林区科技计划(GX2136);陕西省科技计划(2022JM-379)资助。
近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化...
关键词:硬件安全 信息流安全模型 信息流安全验证 安全漏洞检测 
检索报告 对象比较 聚类工具 使用帮助 返回顶部