增强可生存性的访问控制模型
外文标题：Access control model for enhancing survivability
文献类型：期刊
作者：单智勇[1]
机构：中国人民大学,信息学院,计算机系,北京,100872;教育部,数据工程与知识工程重点实验室,北京,100872;中国人民大学,系统与信息安全研究实验室,北京,100872;教育部,数据工程与知识工程重点实验室,北京,100872;中国人民大学,系统与信息安全研究实验室,北京,100872;中国人民大学,信息学院,计算机系,北京,100872;教育部,数据工程与知识工程重点实验室,北京,100872
年：2008
期刊名称：计算机工程与应用
卷：44
期：35
页码范围：1-4,8
增刊：增刊
收录情况：中文核心期刊要目总览
所属部门：信息学院
语言：中文
ISSN：1002-8331
链接地址：http://d.g.wanfangdata.com.cn/Periodical_jsjgcyyy200835001.aspx
DOI：10.3778/j.issn.1002-8331.2008.35.001
基金：国家自然科学基金; 国家高技术研究发展计划(863计划); 中国人民大学科研基金
关键词：访问控制;可生存性;攻击树
摘要：针对传统访问控制模型应用到可生存系统时存在的局限性,提出可生存性访问控制的概念和要求,并设计一种可生存性访问控制模型TTC.TTC模型在系统受到入侵而被控制之后仍然能保护关键服务和数据,能实时响应入侵检测报警并指导入侵恢复工作.它包括触发、跟踪和控制等三个规则.触发规则和跟踪规则利用攻击树跟踪入侵者在系统内的活动,控制规则禁止被跟踪的主体破坏关键服务和数据.通过对模型的形式化证明,模型的应用示例,以及与传统访问控制模型的对比,证实了TTC模型在增强可生存性方面的价值.
作者其他论文
磁盘阵列环境下的取证目标系统重构.杨勇;石文昌;梁彬,等.计算机应用与软件.2014,64-67,74.
一种基于CIL静态分析的C#程序缺陷检测方法.边攀;梁彬;石文昌.计算机科学.2014,41(1),220-224.
一种在Android中植入动态污点分析模块的方法.梁彬;游伟;王鹏,等.2013.
基于特征扫描的Windows回收站删除记录取证方法..0.
基于分离逻辑的并行程序性质验证方法.万良;石文昌;冯慧.计算机科学.2013,40(10),148-154.
