期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于安全进程代数的信息流安全模型的分析与验证
1
作者
王精明
虞慧群
《华东理工大学学报（自然科学版）》
CAS
CSCD
北大核心
2012年第1期102-106,115,共6页
基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出...
基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出验证算法,并开发出验证工具,最后通过实例说明了该验证工具的使用。
展开更多
关键词
安全
进程代数
信息流安全模型
非推断
模型
非干扰
模型
分离
模型
在线阅读
下载PDF
职称材料
寄存器传输级硬件设计信息流建模与安全验证
2
作者
秦茂源
侯佳滢
+2 位作者
李家乐
唐时博
邰瑜
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2024年第3期506-513,共8页
近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化...
近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化语言对硬件设计进行重新描述。因此,提出了一种寄存器传输级硬件设计信息流建模与安全验证方法。该方法在寄存器传输级功能模型的基础上构建附加安全属性的信息流跟踪逻辑模型,从信息流角度建模设计安全行为和安全属性,并利用EDA测试验证工具,以无干扰为策略捕捉违反安全策略的有害信息流,检测硬件设计安全漏洞。以Trust-Hub硬件木马测试集为测试对象的实验结果表明:所提方法能够有效检测设计内潜藏的硬件木马。
展开更多
关键词
硬件
安全
信息流安全模型
信息流
安全
验证
安全
漏洞检测
在线阅读
下载PDF
职称材料
多密级子网的网络安全信息流模型
3
作者
刘益和
《华东理工大学学报（自然科学版）》
CAS
CSCD
北大核心
2007年第B06期70-73,共4页
基于一个拥有多个子网且它们的密级不同的网络，该网络的信息是从低密级子网流向高密级子网，通过引入将子网密级、客体密级和客体的完整性等级相结合的三维安全函数新概念，通过扩充客体和主体，构造出了一个新的安全信息流模型，该模...
基于一个拥有多个子网且它们的密级不同的网络，该网络的信息是从低密级子网流向高密级子网，通过引入将子网密级、客体密级和客体的完整性等级相结合的三维安全函数新概念，通过扩充客体和主体，构造出了一个新的安全信息流模型，该模型能较好地反映网络的安全要求。
展开更多
关键词
予网密级
BLP
模型
BIBA
模型
安全
信息流
模型
在线阅读
下载PDF
职称材料
题名
基于安全进程代数的信息流安全模型的分析与验证
1
作者
王精明
虞慧群
机构
华东理工大学计算机科学与工程系
滁州学院计算机科学与技术系
出处
《华东理工大学学报（自然科学版）》
CAS
CSCD
北大核心
2012年第1期102-106,115,共6页
基金
国家自然科学基金(60473055
60773094)
+2 种基金
上海市曙光计划(07SG32)
安徽省高校省级自然科学研究基金项目(KJ2011Z279)
滁州学院自然科学基金项目(2010kj008Z)
文摘
基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出验证算法,并开发出验证工具,最后通过实例说明了该验证工具的使用。
关键词
安全
进程代数
信息流安全模型
非推断
模型
非干扰
模型
分离
模型
Keywords
security process algebra
information flow security model
non-inference model
non-interference model
separability model
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
寄存器传输级硬件设计信息流建模与安全验证
2
作者
秦茂源
侯佳滢
李家乐
唐时博
邰瑜
机构
西安工业大学计算机科学与工程学院
西北工业大学网络空间安全学院
出处
《西北工业大学学报》
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
职称材料
题名
多密级子网的网络安全信息流模型
3
作者
刘益和
机构
内江师范学院计算机与信息科学系网络应用项目开发重点实验室
出处
《华东理工大学学报（自然科学版）》
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
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于安全进程代数的信息流安全模型的分析与验证
王精明
虞慧群
《华东理工大学学报（自然科学版）》
CAS
CSCD
北大核心
2012
0
在线阅读
下载PDF
职称材料
2
寄存器传输级硬件设计信息流建模与安全验证
秦茂源
侯佳滢
李家乐
唐时博
邰瑜
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2024
0
在线阅读
下载PDF
职称材料
3
多密级子网的网络安全信息流模型
刘益和
《华东理工大学学报（自然科学版）》
CAS
CSCD
北大核心
2007
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
