机构

• 软件研究所 [10]

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [8]
• 学位论文 [2]

发表日期

• 2013 [1]
• 2007 [1]
• 2006 [4]
• 2004 [1]
• 2003 [1]
• 2001 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 应用规律下的BLP模型密级赋值方法 期刊论文  OAI收割 通信学报, 2013, 卷号: 34, 期号: 9, 页码: 144-151 董婵; 范修斌; 李有文; 王建荣   |  收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16 信息安全  BLP模型  常值赋值  条件修改赋值  全局解  条件解  information security  BLP model  constant valuation  condition modification valuation  global solution  con-dition solution   对两个改进的BLP模型的分析 期刊论文  OAI收割 软件学报, 2007, 期号: 6, 页码: 1501-1509 何建波; 卿斯汉; 王超   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/07/01 安全性  灵活性  BLP模型  特洛伊木马  信息流   B级安全的轻量级内核BSK的设计与实现 期刊论文  OAI收割 计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/07/13 监控器模型  BLP  BSK  安全容器  安全对象代理  安全对象  轻量级  内核模型  设计  消息调度  消息传递机制  面向对象机制  路由信息  对象模型  调度算法  调度模型  安全判定  安全模型  安全检测  有状态  监控器  缓冲器  性能  扩充  客体   B级安全的轻量级内核BSK的设计与实现 期刊论文  OAI收割 计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/13 监控器模型  BLP  BSK  安全容器  安全对象代理  安全对象  轻量级  内核模型  设计  消息调度  消息传递机制  面向对象机制  路由信息  对象模型  调度算法  调度模型  安全判定  安全模型  安全检测  有状态  监控器  缓冲器  性能  扩充  客体   B级安全的轻量级内核BSK的设计与实现 期刊论文  OAI收割 计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/07/13 监控器模型  BLP  BSK  安全容器  安全对象代理  安全对象  轻量级  内核模型  设计  消息调度  消息传递机制  面向对象机制  路由信息  对象模型  调度算法  调度模型  安全判定  安全模型  安全检测  有状态  监控器  缓冲器  性能  扩充  客体   对一类多级安全模型安全性的形式化分析 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超   |  收藏  |  浏览/下载：30/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   一种实用的安全数据库多级关系模型 期刊论文  OAI收割 计算机工程, 2004, 卷号: 30, 期号: 12, 页码: 71-72 李旭峰; 冯登国; 李斓   |  收藏  |  浏览/下载：23/0  |  提交时间：2010/05/27 安全数据库  BLP模型  多级关系模型   一种基于BLP模型的安全Web服务器系统 期刊论文  OAI收割 计算机学报, 2003, 卷号: 26, 期号: 10, 页码: 1280-1287 刘克龙; 卿斯汉; 冯登国   |  收藏  |  浏览/下载：18/0  |  提交时间：2010/05/27 BLP模型  安全操作系统  安全Web服务器   安全WWW服务器的设计与实现及PKI体系的设计 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001 熊雁凌 收藏  |  浏览/下载：25/0  |  提交时间：2011/03/17 安全模型  BLP模型  Web服务器  身份认证  访问控制  数据加密  证书  公钥体系  PKI公钥基础设施  SSL安全套接层  摘要算法   国产操作系统COSIX V2.0安全性的研究及文件系统服务器安全性的实现 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 1995 李军 收藏  |  浏览/下载：22/0  |  提交时间：2011/03/17 COSIX V2.0操作系统  微核心技术  多服务器体系结构  B1＋级安全  BLP安全模型  文件系统服务器（FSS）  FSS安全子系统