计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (35): 1-4.DOI: 10.3778/j.issn.1002-8331.2008.35.001
单智勇1,2,3,石文昌2,3,梁 彬1,2,3,孟晓峰1,2
SHAN Zhi-yong1,2,3,SHI Wen-chang2,3,LIANG Bin1,2,3,MENG Xiao-feng1,2
摘要: 针对传统访问控制模型应用到可生存系统时存在的局限性,提出可生存性访问控制的概念和要求,并设计一种可生存性访问控制模型TTC。TTC模型在系统受到入侵而被控制之后仍然能保护关键服务和数据,能实时响应入侵检测报警并指导入侵恢复工作。它包括触发、跟踪和控制等三个规则。触发规则和跟踪规则利用攻击树跟踪入侵者在系统内的活动,控制规则禁止被跟踪的主体破坏关键服务和数据。通过对模型的形式化证明,模型的应用示例,以及与传统访问控制模型的对比,证实了TTC模型在增强可生存性方面的价值。