中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [18]
计算技术研究所 [1]
武汉岩土力学研究所 [1]
采集方式
OAI收割 [20]
内容类型
期刊论文 [19]
学位论文 [1]
发表日期
2015 [1]
2012 [2]
2011 [2]
2008 [1]
2007 [2]
2006 [2]
更多
学科主题
筛选
浏览/检索结果:
共20条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于岩土材料软化特性的滑坡多级滑动面分析方法研究
期刊论文
OAI收割
岩土力学, 2015, 期号: 11, 页码: 3235-3242+3336
作者:
薛海斌
;
党发宁
;
尹小涛
;
雷曼
;
杨超
  |  
收藏
  |  
浏览/下载:43/0
  |  
提交时间:2018/06/25
软化特性
多级滑动面
渐进发展
矢量和法
安全系数
安全数据库隐蔽信道分析技术研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2012
田雪
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2012/05/31
隐蔽信道
隐蔽信道检测
隐蔽信道度量
多级安全
具有时空约束的强制访问控制模型
期刊论文
OAI收割
北京邮电大学学报, 2012, 期号: 5, 页码: 111-114
范艳芳
;
蔡英
;
耿秀华
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2013/09/17
时空约束
强制访问控制
多级安全
一种基于并发冲突间隔时间的隐蔽信道检测方法
期刊论文
OAI收割
计算机研究与发展, 2011, 卷号: 48, 期号: 8, 页码: 1542-1553
王永吉
;
吴敬征
;
丁丽萍
;
曾海涛
  |  
收藏
  |  
浏览/下载:33/0
  |  
提交时间:2011/10/10
多级安全
并发控制
隐蔽信道
时间隐蔽信道
隐蔽信道检测
多级安全中敏感标记的最优化挖掘
期刊论文
OAI收割
软件学报, 2011, 卷号: 22.0, 期号: 005, 页码: 1020
作者:
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/04
多级安全
敏感标记
最优化挖掘
计算复杂度
层次聚类算法
遗传算法
一种改进的数据求精证明规则
期刊论文
OAI收割
计算机工程, 2008, 卷号: 34, 期号: 1, 页码: 23-25
张宏
;
贺也平
;
石志国
  |  
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2010/08/23
多级安全系统
数据求精
前向模拟
后向模拟 multilevel secure system
data refinement
forward simulation
backward simulation
一个支持可信主体特权最小化的多级安全模型
期刊论文
OAI收割
软件学报, 2007, 卷号: 18, 期号: 3, 页码: 730-738
武延军
;
梁洪亮
;
赵琛
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2010/08/25
多级安全
可信主体
最小特权
操作系统安全
一个支持空间上下文的访问控制形式模型
期刊论文
OAI收割
中国科学E辑, 2007, 卷号: 37, 期号: 2, 页码: 254-271
张宏
;
贺也平
;
石志国
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2010/08/23
信息安全RBAC空间上下文格
多级安全
限制
形式模型
核心化多级安全数据库系统未决提交事务日志写出依赖研究
期刊论文
OAI收割
计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1438-1446
徐震
;
张敏
  |  
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2011/07/13
核心化体系结构
多级安全数据库系统
未决提交
依赖图
核心化
事务日志
日志记录
持久存储
高级事务
依赖关系
协调
系统崩溃
维护
体系结构
算法
事务提交
事务数据
实例处理
分析论证
处理过程
状态
证明
同级Algorithms
Architecture
Data storage equipment
Graph theory
Mathematical models
Security of data
Topology
对一类多级安全模型安全性的形式化分析
期刊论文
OAI收割
计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479
何建波
;
卿斯汉
;
王超
  |  
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2011/07/13
BLP模型
MLS策略
安全不变式
Z语言
Z/EVES定理证明器
多级安全模型
安全性
形式化分析
不变式
验证模型
形式化规范
验证工具
系统安全
策略
表述形式
分析表
语言
思想
理论
客体
方法Computer programming languages
Formal languages
Functions
Mathematical models
Security of data
Security systems
Specifications
Theorem prov