增强可生存性的访问控制模型  

Access control model for enhancing survivability

作　　者：单智勇[1,2,3] 石文昌[2,3] 梁彬[1,2,3] 孟晓峰[1,2] 

机构地区：[1]中国人民大学信息学院计算机系,北京100872 [2]教育部数据工程与知识工程重点实验室,北京100872 [3]中国人民大学系统与信息安全研究实验室,北京100872

出　　处：《计算机工程与应用》2008年第35期1-4,8,共5页Computer Engineering and Applications

基　　金：国家自然科学基金No.60703103;No.60703102;国家高技术研究发展计划(863)No.2007AA01Z414;中国人民大学科研基金(No.06XNB053)~~

摘　　要：针对传统访问控制模型应用到可生存系统时存在的局限性,提出可生存性访问控制的概念和要求,并设计一种可生存性访问控制模型TTC。TTC模型在系统受到入侵而被控制之后仍然能保护关键服务和数据,能实时响应入侵检测报警并指导入侵恢复工作。它包括触发、跟踪和控制等三个规则。触发规则和跟踪规则利用攻击树跟踪入侵者在系统内的活动,控制规则禁止被跟踪的主体破坏关键服务和数据。通过对模型的形式化证明,模型的应用示例,以及与传统访问控制模型的对比,证实了TTC模型在增强可生存性方面的价值。Traditional access control models have disadvantages when they are applied in a survivability system.An access control model for enhancing survivability is proposed,which named TTC.The model can protect critical services and data,response to intrusion alarm in real time and help recovery process even when the system is compromised.It contains three rules of trigger,track and control.The trigger and track rules trace activities of intruder in system by using attack tree.The control rule forbids the traced subjects to tamper critical services and data.The value of TTC for enhancing survivability is attested by formal proving, application demonstration and comparing with traditional access control models.

关 键 词：访问控制 可生存性 攻击树 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]