论文部分内容阅读
针对传统访问控制模型应用到可生存系统时存在的局限性，提出可生存性访问控制的概念和要求，并设计一种可生存性访问控制模型TTC。TTC模型在系统受到入侵而被控制之后仍然能保护关键服务和数据，能实时响应入侵检测报警并指导入侵恢复工作。它包括触发、跟踪和控制等三个规则。触发规则和跟踪规则利用攻击树跟踪入侵者在系统内的活动，控制规则禁止被跟踪的主体破坏关键服务和数据。通过对模型的形式化证明，模型的应用示例，以及与传统访问控制模型的对比，证实了TTC模型在增强可生存性方面的价值。