面向系统确保的属性可计算方法
文献类型：期刊论文
| 作者 | 刘礼才; 殷丽华; 郭云川 |
| 刊名 | 信息技术快报
 |
| 出版日期 | 2011-05-26 |
| 卷号 | 9期号:3页码:34 |
| 关键词 | 系统确保 属性计算模型 定量评估 安全属性 |
| 英文摘要 | 由于系统运行环境的复杂化、用户的多样性以及软件正确性的不可判定，确保系统完全按照预期提供服务非常困难，因此安全评估方法与建模技术就成为系统确保研究中的重要内容和关键支撑技术，被用来尝试解决现有评估方法存在的局部性和状态爆炸以及对互联网的内容访问控制评估方法的缺失等问题。本文首先概述安全评估的相关工作，然后介绍我们的研究工作-信息内容安全的控制模型和定量评价方法以及混杂检测中的机密性与完整性模型。 |
| 语种 | 中文 |
| 公开日期 | 2011-06-07 |
| 源URL | [http://ictir.ict.ac.cn/handle/311040/1022]  |
| 专题 | 信息技术快报_2011 |
| 推荐引用方式 GB/T 7714 | 刘礼才,殷丽华,郭云川. 面向系统确保的属性可计算方法[J]. 信息技术快报,2011,9(3):34. |
| APA | 刘礼才,殷丽华,&郭云川.(2011).面向系统确保的属性可计算方法.信息技术快报,9(3),34. |
| MLA | 刘礼才,et al."面向系统确保的属性可计算方法".信息技术快报 9.3(2011):34. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。