期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于安全策略模型的安全功能测试用例生成方法
被引量：
6
1
作者
张敏
冯登国
陈驰
《计算机研究与发展》
EI
CSCD
北大核心
2009年第10期1686-1692,共7页
实施第三方安全功能独立测试是信息安全产品测评中的一个重要环节,对于以安全数据库管理系统为代表的信息安全产品,其系统规约的测试并不能完全真实反映系统行为,还需要满足系统安全策略.提出了基于安全策略模型的安全功能测试用例自动...
实施第三方安全功能独立测试是信息安全产品测评中的一个重要环节,对于以安全数据库管理系统为代表的信息安全产品,其系统规约的测试并不能完全真实反映系统行为,还需要满足系统安全策略.提出了基于安全策略模型的安全功能测试用例自动生成方法,该方法包括基于语法的划分、基于规则的划分、基于类型的划分等步骤,依据形式化安全模型生成正确描述系统行为的操作测试用例集.该方法有助于提高测试质量,发现手工测试中难以发现的缺陷,并有助于减少测试过程中的重复劳动,实现测试自动化并提高测试效率.
展开更多
关键词
安全策略模型
安全
功能测试
测试用例生成
自动化测试
基于类型的划分
在线阅读
下载PDF
职称材料
安全策略模型规范及其形式分析技术研究
被引量：
2
2
作者
李丽萍
卿斯汉
+2 位作者
周洲仪
何建波
温红子
《通信学报》
EI
CSCD
北大核心
2006年第6期94-101,共8页
形式化是开发高安全等级计算机系统的核心技术之一,但目前形式开发方法无法直接借助于机器证明获得较之手工证明更加严格的安全策略模型正确性保证,以及安全策略模型和安全功能规范之间的精确对应。通过把安全功能规范开发技术应用于安...
形式化是开发高安全等级计算机系统的核心技术之一,但目前形式开发方法无法直接借助于机器证明获得较之手工证明更加严格的安全策略模型正确性保证,以及安全策略模型和安全功能规范之间的精确对应。通过把安全功能规范开发技术应用于安全策略模型的开发中,提出了一种新颖的安全策略模型形式规范构造方法及其证明机理,从而有效解决了上述问题。还以Bell-LaPadula多级安全策略为实例,具体说明了规范的形式开发和形式分析过程。
展开更多
关键词
安全策略模型
形式规范
形式分析
定理证明
Bell-LaPadula
模型
在线阅读
下载PDF
职称材料
带有约束的“长城”安全策略模型及其实现
3
作者
吴茜
王小明
付争方
《计算机工程与设计》
CSCD
北大核心
2007年第12期2974-2976,共3页
“长城”安全策略模型是商业信息领域中重要的安全策略模型之一,它能够巧妙地将自由选择与强制访问控制结合在一起,既具有自主控制的灵活性,又能对存取操作加以限制。但是“长城”安全策略模型仍不能很好地满足实际的需要,存在着一定的...
“长城”安全策略模型是商业信息领域中重要的安全策略模型之一,它能够巧妙地将自由选择与强制访问控制结合在一起,既具有自主控制的灵活性,又能对存取操作加以限制。但是“长城”安全策略模型仍不能很好地满足实际的需要,存在着一定的缺陷,因此增加时间约束,职责分离约束和基数约束,对“长城”安策略模型进行扩展,提出一种带有约束的“长城”安全策略模型。
展开更多
关键词
“长城”
安全策略模型
利益相关用户
职责分离
基数约束
时间约束
在线阅读
下载PDF
职称材料
支持增强Linux安全性的多个安全策略模型的统一框架(英文)
4
作者
袁春阳
石文昌
+2 位作者
梁洪亮
武延军
商青华
《中国科学院研究生院学报》
CAS
CSCD
2006年第2期205-212,共8页
首先分析Linux系统中两种主要安全机制的局限性.然后,给出SECIMOS的构建,简介了各个安全策略模型及其实现模块,并描述结合多个安全模块的方法.最后,给出了SECIMOS的性能参数和与其他安全项目之间的比较.
关键词
安全
操作系统
访问控制
审计
LINUX
安全
模块
安全策略模型
在线阅读
下载PDF
职称材料
数据库形式化安全策略模型建模及分析方法
被引量：
2
5
作者
王榕
张敏
+1 位作者
冯登国
李昊
《通信学报》
EI
CSCD
北大核心
2015年第9期193-203,共11页
目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加...
目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加贴近实际数据库,应用范围更广,安全属性描述更加完整,描述的模型具有灵活的可扩展性,并且保证了建模与验证的效率。最后,将该方法应用于数据库管理系统Beyon DB的安全策略建模分析中,帮助发现了系统若干设计缺陷,证明了方法的有效性。
展开更多
关键词
形式化建模
数据库
定理证明
安全策略模型
在线阅读
下载PDF
职称材料
基于扩展客体层次结构的安全数据库策略模型
被引量：
2
6
作者
程万军
张霞
刘积仁
《软件学报》
EI
CSCD
北大核心
2003年第5期955-962,共8页
安全策略模型是安全可信系统的基础.Bell-LaPadula模型是多级安全系统中广泛应用的安全策略模型,但它缺乏针对数据模型的完整性和一致性规则.以该模型为基础,针对数据库系统的数据模型,提出了一个以扩展客体层次结构为基础的安全策略模...
安全策略模型是安全可信系统的基础.Bell-LaPadula模型是多级安全系统中广泛应用的安全策略模型,但它缺乏针对数据模型的完整性和一致性规则.以该模型为基础,针对数据库系统的数据模型,提出了一个以扩展客体层次结构为基础的安全策略模型.模型通过扩展客体层次结构使完整性成为模型的内在属性,并引入或重新定义了客体域、扩展安全公理和操作规则.模型更加适应多级安全数据库系统的要求,增强了策略模型与系统规格和高层模型的一致性.普遍性和通用性安全模型的扩展和增强,特别是安全性以外的特性的引入是安全策略模型向实际系统模型转化的必要步骤.
展开更多
关键词
安全策略模型
数据
模型
数据库系统
扩展客体层次结构
Be11-LaPadula
模型
在线阅读
下载PDF
职称材料
基于UML和模型检测的安全模型验证方法
被引量：
14
7
作者
程亮
张阳
《计算机学报》
EI
CSCD
北大核心
2009年第4期699-708,共10页
安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转...
安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转换工具将UML图转化为模型检测器的输入语言,最后由模型检测器来验证安全模型对于安全需求的满足性.作者使用该方法验证了DBLP和SLCF模型对机密性原则的违反.
展开更多
关键词
安全
操作系统
系统操作
安全
安全策略模型
形式化验证
模型
检测
UML
在线阅读
下载PDF
职称材料
基于访问控制空间的多策略安全体系结构
被引量：
3
8
作者
李丽萍
卿斯汉
+1 位作者
贺也平
沈晴霓
《通信学报》
EI
CSCD
北大核心
2006年第2期107-112,118,共7页
为解决LSM在策略重用和策略共存方面存在的问题,提出了一个新的安全体系结构ELSM,它引入一个模型组合器作为主模块实施模块堆栈管理和模块决策管理,其中模块决策的实施采用了访问控制空间的策略规范方法,可支持通用性,ELSM的设计及其在...
为解决LSM在策略重用和策略共存方面存在的问题,提出了一个新的安全体系结构ELSM,它引入一个模型组合器作为主模块实施模块堆栈管理和模块决策管理,其中模块决策的实施采用了访问控制空间的策略规范方法,可支持通用性,ELSM的设计及其在安胜OS安全操作系统中的实例分析表明其有效性。
展开更多
关键词
安全
体系结构
安全策略模型
LINUX
安全
模块
策略
规范
在线阅读
下载PDF
职称材料
一个基于安全模型的测试用例生成工具
被引量：
2
9
作者
黄亮
冯登国
张敏
《中国科学院研究生院学报》
CAS
CSCD
2007年第3期300-306,共7页
在基于安全评估标准的安全数据库管理系统(Security Database Management System,SDBMS)的安全功能测评中,存在的困难问题之一就是缺乏合适的测试用例.而目前基于安全产品形式化规约的测试用例自动生成方法并不能完全适用于这种需要.因...
在基于安全评估标准的安全数据库管理系统(Security Database Management System,SDBMS)的安全功能测评中,存在的困难问题之一就是缺乏合适的测试用例.而目前基于安全产品形式化规约的测试用例自动生成方法并不能完全适用于这种需要.因为包括SDBMS在内的大多数信息安全产品的系统规约并不能真实的反映现实系统的行为,系统中的操作除了要完成其预定的功能外,同时还必须满足安全产品安全策略的约束.本文采用了基于安全产品安全策略模型的测试用例自动生成方法,设计并实现了一个测试用例自动化生成工具——Case Builder.该工具可针对SDBMS快速生成能够满足产品安全策略测试要求的测试用例集.
展开更多
关键词
测试用例
信息
安全
产品测评
类型划分
安全策略模型
在线阅读
下载PDF
职称材料
一个灵活的操作系统安全框架FMAC
被引量：
1
10
作者
易晓东
杨学军
《计算机科学》
CSCD
北大核心
2006年第1期153-157,共5页
当前,操作系统的安全需求越来越多样、灵活和具体,它们往往只描述系统中一小部分实体之间的约束,但对安全策略的灵活性及定制的简洁性有较高的要求。传统的安全框架,如 FLASK 等,难于满足此类“轻量级”的安全需求。本文提出的 FMAC 框...
当前,操作系统的安全需求越来越多样、灵活和具体,它们往往只描述系统中一小部分实体之间的约束,但对安全策略的灵活性及定制的简洁性有较高的要求。传统的安全框架,如 FLASK 等,难于满足此类“轻量级”的安全需求。本文提出的 FMAC 框架专门面向此类安全需求,它定义了基于标记迁移系统 LTS 的安全策略模型,以规范和简化安全策略的定制。FMAC 框架由通用的对象管理器模型和安全策略管理器模型组成。讨论了 FMAC 在 Unix 类操作系统中的实现,通过层次式的客体组织与基于角色的主体组织,普通用户可以方便快捷地定制出满足要求的轻量级安全策略。
展开更多
关键词
FMAC
操作系统
安全
安全策略模型
强制访问控制框架
安全
框架
操作系统
对象管理器
安全
需求
普通用户
描述系统
在线阅读
下载PDF
职称材料
题名
基于安全策略模型的安全功能测试用例生成方法
被引量：
6
1
作者
张敏
冯登国
陈驰
机构
中国科学院软件研究所信息安全国家重点实验室
出处
《计算机研究与发展》
EI
CSCD
北大核心
2009年第10期1686-1692,共7页
基金
国家"八六三"高技术研究发展计划基金项目(2007AA120404
2007AA120405)~~
文摘
实施第三方安全功能独立测试是信息安全产品测评中的一个重要环节,对于以安全数据库管理系统为代表的信息安全产品,其系统规约的测试并不能完全真实反映系统行为,还需要满足系统安全策略.提出了基于安全策略模型的安全功能测试用例自动生成方法,该方法包括基于语法的划分、基于规则的划分、基于类型的划分等步骤,依据形式化安全模型生成正确描述系统行为的操作测试用例集.该方法有助于提高测试质量,发现手工测试中难以发现的缺陷,并有助于减少测试过程中的重复劳动,实现测试自动化并提高测试效率.
关键词
安全策略模型
安全
功能测试
测试用例生成
自动化测试
基于类型的划分
Keywords
security policy model
security functional test
test case generation
test automation
type-based partition
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
安全策略模型规范及其形式分析技术研究
被引量：
2
2
作者
李丽萍
卿斯汉
周洲仪
何建波
温红子
机构
中国科学院软件研究所
国家电力监管委员会信息中心
出处
《通信学报》
EI
CSCD
北大核心
2006年第6期94-101,共8页
基金
国家自然科学基金资助项目(60573042)
国家重点基础研究发展计划("973"计划)基金资助项目(G1999035810)
北京市自然科学基金资助项目(4052016)~~
文摘
形式化是开发高安全等级计算机系统的核心技术之一,但目前形式开发方法无法直接借助于机器证明获得较之手工证明更加严格的安全策略模型正确性保证,以及安全策略模型和安全功能规范之间的精确对应。通过把安全功能规范开发技术应用于安全策略模型的开发中,提出了一种新颖的安全策略模型形式规范构造方法及其证明机理,从而有效解决了上述问题。还以Bell-LaPadula多级安全策略为实例,具体说明了规范的形式开发和形式分析过程。
关键词
安全策略模型
形式规范
形式分析
定理证明
Bell-LaPadula
模型
Keywords
security policy model
formal specification
formal analysis
theorem prove
BeU-LaPadula model
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
带有约束的“长城”安全策略模型及其实现
3
作者
吴茜
王小明
付争方
机构
陕西师范大学计算机科学学院
出处
《计算机工程与设计》
CSCD
北大核心
2007年第12期2974-2976,共3页
基金
国家自然科学基金项目(10571112)
陕西省自然科学基金项目(2006F27)
文摘
“长城”安全策略模型是商业信息领域中重要的安全策略模型之一,它能够巧妙地将自由选择与强制访问控制结合在一起,既具有自主控制的灵活性,又能对存取操作加以限制。但是“长城”安全策略模型仍不能很好地满足实际的需要,存在着一定的缺陷,因此增加时间约束,职责分离约束和基数约束,对“长城”安策略模型进行扩展,提出一种带有约束的“长城”安全策略模型。
关键词
“长城”
安全策略模型
利益相关用户
职责分离
基数约束
时间约束
Keywords
Chinese Wall security policy model
interest related users
separation of duties
cardinality time constraint
分类号
TP309.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
支持增强Linux安全性的多个安全策略模型的统一框架(英文)
4
作者
袁春阳
石文昌
梁洪亮
武延军
商青华
机构
中国科学院软件研究所
出处
《中国科学院研究生院学报》
CAS
CSCD
2006年第2期205-212,共8页
基金
supported by National 863 High-tech Research Development Program of China(2002AA141080),National Natural Science Foundation of China(60373054)and Graduate Innovation Grand of the Chinese Academy of Sciences
文摘
首先分析Linux系统中两种主要安全机制的局限性.然后,给出SECIMOS的构建,简介了各个安全策略模型及其实现模块,并描述结合多个安全模块的方法.最后,给出了SECIMOS的性能参数和与其他安全项目之间的比较.
关键词
安全
操作系统
访问控制
审计
LINUX
安全
模块
安全策略模型
Keywords
secure operating system, access control, audit, Linux Security Module, security policy model
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
数据库形式化安全策略模型建模及分析方法
被引量：
2
5
作者
王榕
张敏
冯登国
李昊
机构
中国科学院软件研究所可信计算与信息保障实验室
中国科学院大学
中国科学院软件研究所计算机科学国家重点实验室
出处
《通信学报》
EI
CSCD
北大核心
2015年第9期193-203,共11页
基金
国家自然科学基金资助项目(61232005
61402456)~~
文摘
目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加贴近实际数据库,应用范围更广,安全属性描述更加完整,描述的模型具有灵活的可扩展性,并且保证了建模与验证的效率。最后,将该方法应用于数据库管理系统Beyon DB的安全策略建模分析中,帮助发现了系统若干设计缺陷,证明了方法的有效性。
关键词
形式化建模
数据库
定理证明
安全策略模型
Keywords
formal modeling
database
theorem proving
security policy model
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于扩展客体层次结构的安全数据库策略模型
被引量：
2
6
作者
程万军
张霞
刘积仁
机构
东北大学计算机软件国家工程研究中心
出处
《软件学报》
EI
CSCD
北大核心
2003年第5期955-962,共8页
基金
国家高技术研究发展计划(863)~~
文摘
安全策略模型是安全可信系统的基础.Bell-LaPadula模型是多级安全系统中广泛应用的安全策略模型,但它缺乏针对数据模型的完整性和一致性规则.以该模型为基础,针对数据库系统的数据模型,提出了一个以扩展客体层次结构为基础的安全策略模型.模型通过扩展客体层次结构使完整性成为模型的内在属性,并引入或重新定义了客体域、扩展安全公理和操作规则.模型更加适应多级安全数据库系统的要求,增强了策略模型与系统规格和高层模型的一致性.普遍性和通用性安全模型的扩展和增强,特别是安全性以外的特性的引入是安全策略模型向实际系统模型转化的必要步骤.
关键词
安全策略模型
数据
模型
数据库系统
扩展客体层次结构
Be11-LaPadula
模型
Keywords
security policy
security model
database security
multilevel security
object integrity
object hierarchy
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML和模型检测的安全模型验证方法
被引量：
14
7
作者
程亮
张阳
机构
中国科学技术大学电子工程与信息科学系
中国科学院软件研究所信息安全国家重点实验室
出处
《计算机学报》
EI
CSCD
北大核心
2009年第4期699-708,共10页
基金
国家“八六三”高技术研究发展计划项目基金(2007AA01Z465,2006AA01Z433,2007AA01Z475,2007AA01Z414)资助~~
文摘
安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转换工具将UML图转化为模型检测器的输入语言,最后由模型检测器来验证安全模型对于安全需求的满足性.作者使用该方法验证了DBLP和SLCF模型对机密性原则的违反.
关键词
安全
操作系统
系统操作
安全
安全策略模型
形式化验证
模型
检测
UML
Keywords
security operating system, security model
formal verification
model checking
UML
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于访问控制空间的多策略安全体系结构
被引量：
3
8
作者
李丽萍
卿斯汉
贺也平
沈晴霓
机构
中国科学院软件研究所
出处
《通信学报》
EI
CSCD
北大核心
2006年第2期107-112,118,共7页
基金
国家重点基础研究发展计划("973"计划)基金资助项目(G1999035810)
国家自然科学基金资助项目(60083007)~~
文摘
为解决LSM在策略重用和策略共存方面存在的问题,提出了一个新的安全体系结构ELSM,它引入一个模型组合器作为主模块实施模块堆栈管理和模块决策管理,其中模块决策的实施采用了访问控制空间的策略规范方法,可支持通用性,ELSM的设计及其在安胜OS安全操作系统中的实例分析表明其有效性。
关键词
安全
体系结构
安全策略模型
LINUX
安全
模块
策略
规范
Keywords
security architecture
security policy model
Linux security module
policy specification
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
一个基于安全模型的测试用例生成工具
被引量：
2
9
作者
黄亮
冯登国
张敏
机构
中国科学院软件研究所信息安全实验室
中国科学院研究生院
出处
《中国科学院研究生院学报》
CAS
CSCD
2007年第3期300-306,共7页
基金
国家高技术研究发展计划(863)(2004AA147070)
国家自然科学基金(60273027
60025205)资助
文摘
在基于安全评估标准的安全数据库管理系统(Security Database Management System,SDBMS)的安全功能测评中,存在的困难问题之一就是缺乏合适的测试用例.而目前基于安全产品形式化规约的测试用例自动生成方法并不能完全适用于这种需要.因为包括SDBMS在内的大多数信息安全产品的系统规约并不能真实的反映现实系统的行为,系统中的操作除了要完成其预定的功能外,同时还必须满足安全产品安全策略的约束.本文采用了基于安全产品安全策略模型的测试用例自动生成方法,设计并实现了一个测试用例自动化生成工具——Case Builder.该工具可针对SDBMS快速生成能够满足产品安全策略测试要求的测试用例集.
关键词
测试用例
信息
安全
产品测评
类型划分
安全策略模型
Keywords
test case, evaluation of security product, type-based partition, security policy model
分类号
TP319 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一个灵活的操作系统安全框架FMAC
被引量：
1
10
作者
易晓东
杨学军
机构
国防科大计算机学院
出处
《计算机科学》
CSCD
北大核心
2006年第1期153-157,共5页
基金
本文的研究得到了国家863重大软件专项"服务器操作系统内核"(项目编号:2002AAIZ2101)资助。
文摘
当前,操作系统的安全需求越来越多样、灵活和具体,它们往往只描述系统中一小部分实体之间的约束,但对安全策略的灵活性及定制的简洁性有较高的要求。传统的安全框架,如 FLASK 等,难于满足此类“轻量级”的安全需求。本文提出的 FMAC 框架专门面向此类安全需求,它定义了基于标记迁移系统 LTS 的安全策略模型,以规范和简化安全策略的定制。FMAC 框架由通用的对象管理器模型和安全策略管理器模型组成。讨论了 FMAC 在 Unix 类操作系统中的实现,通过层次式的客体组织与基于角色的主体组织,普通用户可以方便快捷地定制出满足要求的轻量级安全策略。
关键词
FMAC
操作系统
安全
安全策略模型
强制访问控制框架
安全
框架
操作系统
对象管理器
安全
需求
普通用户
描述系统
Keywords
FMAC, Operating system security, Security policy model, Mandatory access control framework
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
TP316 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于安全策略模型的安全功能测试用例生成方法
张敏
冯登国
陈驰
《计算机研究与发展》
EI
CSCD
北大核心
2009
6
在线阅读
下载PDF
职称材料
2
安全策略模型规范及其形式分析技术研究
李丽萍
卿斯汉
周洲仪
何建波
温红子
《通信学报》
EI
CSCD
北大核心
2006
2
在线阅读
下载PDF
职称材料
3
带有约束的“长城”安全策略模型及其实现
吴茜
王小明
付争方
《计算机工程与设计》
CSCD
北大核心
2007
0
在线阅读
下载PDF
职称材料
4
支持增强Linux安全性的多个安全策略模型的统一框架(英文)
袁春阳
石文昌
梁洪亮
武延军
商青华
《中国科学院研究生院学报》
CAS
CSCD
2006
0
在线阅读
下载PDF
职称材料
5
数据库形式化安全策略模型建模及分析方法
王榕
张敏
冯登国
李昊
《通信学报》
EI
CSCD
北大核心
2015
2
在线阅读
下载PDF
职称材料
6
基于扩展客体层次结构的安全数据库策略模型
程万军
张霞
刘积仁
《软件学报》
EI
CSCD
北大核心
2003
2
在线阅读
下载PDF
职称材料
7
基于UML和模型检测的安全模型验证方法
程亮
张阳
《计算机学报》
EI
CSCD
北大核心
2009
14
在线阅读
下载PDF
职称材料
8
基于访问控制空间的多策略安全体系结构
李丽萍
卿斯汉
贺也平
沈晴霓
《通信学报》
EI
CSCD
北大核心
2006
3
在线阅读
下载PDF
职称材料
9
一个基于安全模型的测试用例生成工具
黄亮
冯登国
张敏
《中国科学院研究生院学报》
CAS
CSCD
2007
2
在线阅读
下载PDF
职称材料
10
一个灵活的操作系统安全框架FMAC
易晓东
杨学军
《计算机科学》
CSCD
北大核心
2006
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
