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

作者： 郭云川 ¹ 殷丽华 ¹ 刘礼才 ¹
作者单位：

1. 中国科学院计算技术研究所信息安全研究中心
提交时间：2017-03-10 10:16:03

摘要: 由于系统运行环境的复杂化、用户的多样性以及软件正确性的不可判定，确保系统完全按照预期提供服务非常困难，因此安全评估方法与建模技术就成为系统确保研究中的重要内容和关键支撑技术，被用来尝试解决现有评估方法存在的局部性和状态爆炸以及对互联网的内容访问控制评估方法的缺失等问题。本文首先概述安全评估的相关工作，然后介绍我们的研究工作-信息内容安全的控制模型和定量评价方法以及混杂检测中的机密性与完整性模型。

系统确保属性计算模型定量评估安全属性

分类： 计算机科学 >> 信息安全
引用： ChinaXiv:201703.00218 (或此版本 ChinaXiv:201703.00218V1)
DOI:10.12074/201703.00218V1
CSTR:32003.36.ChinaXiv.201703.00218.V1
科创链TXID： a81a7561-9e6b-4506-bd58-d53849a52259
推荐引用方式： 郭云川,殷丽华,刘礼才.面向系统确保的属性可计算方法.null.[ChinaXiv:201703.00218V1] (点此复制)

版本历史

[V1]

2017-03-10 10:16:03

ChinaXiv:201703.00218V1

下载全文

相关论文推荐

1. 面向实际应用的微表情分析：从数据采集到智能部署	2025-06-12
2. 机器学习的信息科学原理：基于形式化信息映射的因果链元框架	2025-06-06
3. 注视即计算	2025-05-30
4. 面向多模态认知与具身决策的“文录”大脑系统：通用大模型与行业知识深度融合的安全化新架构	2025-05-30
5. 基于AIGC的个性化软硬件与柔性供应链系统构建多模态设计生成与优化引擎设计	2025-05-21
6. DO-RAG: A Domain-Specific QA Framework Using Knowledge Graph-Enhanced Retrieval-Augmented Generation	2025-05-20
7. 基于数据治理框架的数据质量评估技术研究	2025-05-15
8. 基于证据积累的认知决策神经网络模型	2025-05-11
9. 人工智能与人类交互的情感根基：源于演化连续性与种间情感沟通的理论洞见	2025-05-10
10. Understanding Real-World Vulnerabilities in Distributed Cloud Systems	2025-05-08


公开评论匿名评论仅发给作者

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

版本历史

相关论文推荐

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