中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [6]
计算技术研究所 [1]
沈阳自动化研究所 [1]
采集方式
OAI收割 [8]
内容类型
期刊论文 [7]
学位论文 [1]
发表日期
2020 [1]
2006 [3]
2004 [1]
2003 [1]
2002 [1]
2000 [1]
更多
学科主题
筛选
浏览/检索结果:
共8条,第1-8条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
功能安全与信息安全相结合,实现工业系统的两安融合
期刊论文
OAI收割
自动化博览, 2020, 卷号: 37, 期号: 2, 页码: 16-17
作者:
尚文利
  |  
收藏
  |  
浏览/下载:28/0
  |  
提交时间:2020/05/16
工业互联网
工业系统
工控产品
信息安全机制
功能安全
B级安全的轻量级内核BSK的设计与实现
期刊论文
OAI收割
计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127
冷健
;
谢冬青
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/07/13
监控器模型
BLP
BSK
安全容器
安全对象代理
安全对象
轻量级
内核模型
设计
消息调度
消息传递机制
面向对象机制
路由信息
对象模型
调度算法
调度模型
安全判定
安全模型
安全检测
有状态
监控器
缓冲器
性能
扩充
客体
B级安全的轻量级内核BSK的设计与实现
期刊论文
OAI收割
计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127
冷健
;
谢冬青
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2011/07/13
监控器模型
BLP
BSK
安全容器
安全对象代理
安全对象
轻量级
内核模型
设计
消息调度
消息传递机制
面向对象机制
路由信息
对象模型
调度算法
调度模型
安全判定
安全模型
安全检测
有状态
监控器
缓冲器
性能
扩充
客体
B级安全的轻量级内核BSK的设计与实现
期刊论文
OAI收割
计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127
冷健
;
谢冬青
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2011/07/13
监控器模型
BLP
BSK
安全容器
安全对象代理
安全对象
轻量级
内核模型
设计
消息调度
消息传递机制
面向对象机制
路由信息
对象模型
调度算法
调度模型
安全判定
安全模型
安全检测
有状态
监控器
缓冲器
性能
扩充
客体
证书撤销机制的研究
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
薛源
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2011/03/17
证书撤销机制
证书状态
认证中心
信息安全
联盟环境中的资源安全共享模型
期刊论文
OAI收割
微电子学与计算机, 2003, 卷号: 20.0, 期号: 011, 页码: 18
作者:
李颖
;
刘金刚
;
李锦涛
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/04
信息安全
资源安全共享模型
访问控制模型
联盟环境
信任协商
主动安全机制
安全操作系统安全属性即时撤消研究
期刊论文
OAI收割
计算机研究与发展, 2002, 卷号: 39, 期号: 12, 页码: 1680-1688
单智勇
;
孙玉芳
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/07/29
安全属性即时撤消
安全操作系统
多安全政策
CC标准
安全操作系统
安全属性
撤消
多安全政策
支持机制
信息安全
评价标准
框架
设计
描述
基础
SET协议中问题的分析及解决方案
期刊论文
OAI收割
计算机学报, 2000, 卷号: 23, 期号: 2, 页码: 202-209
陈庆锋
;
白硕
;
王驹
;
张师超
;
隋立颖
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/07/29
电子商务
防抵赖
可追踪
信息安全
协议
解决方案
SET Protocol
关键性问题
业务流程
验证过程
电子商务
程序模拟
程序流程
安全机制
可追踪
防抵赖
语言
逻辑
基础
付费