机构

• 软件研究所 [5]

采集方式

• OAI收割 [5]

内容类型

• 期刊论文 [5]

发表日期

• 2006 [1]
• 2003 [1]
• 2002 [1]
• 2001 [2]

学科主题

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 对一类多级安全模型安全性的形式化分析 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超   |  收藏  |  浏览/下载：29/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收割 软件学报, 2003, 卷号: 14, 期号: 3, 页码: 547-552 梁洪亮; 孙玉芳; 赵庆松; 张相锋; 孙波   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/07/29 标记  多级安全系统  信息流控制  保密性  完整性  安全操作系统  安全标记  公共框架  安全政策  多级安全系统  体标记  强制访问控制  安全操作系统  标记功能  完整性  灵活性  框架基  保密性  安全性  历史  集合  基础  函数  概念Computer operating systems  Functions  Labels  Security systems   一种用于操作系统安全内核的多级分层文件系统的研究与实现 期刊论文  OAI收割 电子学报, 2002, 卷号: 30, 期号: 5, 页码: 763-765 刘文清; 卿斯汉; 刘海峰   |  收藏  |  浏览/下载：28/0  |  提交时间：2011/07/29 多级分层文件系统  强制存取控制  安全内核  安全操作系统  安全操作系统  安全内核  多级分层文件系统  Security Kernel  关键技术  工程实现  分层系统  安全策略  兼容性  安全性  效率  开发File organization  Hard disk storage  Security of data   经典BLP安全公理的一种适应性标记实施方法及其正确性 期刊论文  OAI收割 计算机研究与发展, 2001, 卷号: 38, 期号: 11, 页码: 1366-1372 石文昌; 孙玉芳; 梁洪亮   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/29 Bell & LaPadula,计算机安全,模型,公理,Linux,实现  经典  安全操作系统  适应性  记实  实施方法  基础  访问控制规则  正确性证明  多级安全性  判定增加  敏感标记  基本安全  安全系统  灵活性  计算机  模型  理论  开发  构造  构成   主体当前敏感标记动态确定方案研究 期刊论文  OAI收割 电子学报, 2001, 卷号: 29, 期号: 8, 页码: 1046-1049 石文昌; 梁洪亮; 孙玉芳   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/07/29 计算机安全  安全操作系统  安全模型  敏感标记  主体  敏感标记  方案研究  限定条件  模型  基础构造  安全操作系统  多级安全性  证明  描述  客体  构成Computer operating systems  Labels  Mathematical models  Sensitivity analysis