Current Location:home > Detailed Browse

Article Detail

面向系统确保的属性可计算方法

Submit Time: 2017-03-10
Author: 郭云川 1 ; 殷丽华 1 ; 刘礼才 1 ;
Institute: 1.中国科学院计算技术研究所信息安全研究中心;

Abstracts

由于系统运行环境的复杂化、用户的多样性以及软件正确性的不可判定,确保系统完全按照预期提供服务非常困难,因此安全评估方法与建模技术就成为系统确保研究中的重要内容和关键支撑技术,被用来尝试解决现有评估方法存在的局部性和状态爆炸以及对互联网的内容访问控制评估方法的缺失等问题。本文首先概述安全评估的相关工作,然后介绍我们的研究工作-信息内容安全的控制模型和定量评价方法以及混杂检测中的机密性与完整性模型。
Download Comment Hits:2374 Downloads:753
Recommended references: 郭云川,殷丽华,刘礼才.(2017).面向系统确保的属性可计算方法.[ChinaXiv:201703.00218] (Click&Copy)
Version History
[V1] 2017-03-10 10:16:03 chinaXiv:201703.00218V1 Download
Related Paper

Download

Current Browse

Change Subject Browse

Cross Subject Browse

  • - NO