感知时间和情景的存取控制策略建模与实施

信息技术的应用已经渗透到社会的各个领域。与此同时，信息资源面临的威胁也不断增加。如何保护和利用信息资源成为至关重要的课题。传统的存取控制模型不能有效地支持与时间和情景等动态因素相关的安全策略建模，也不能很好地支持可适应性、可重用性的安全策略实施方法。本项目研究感知时间和情景的存取控制策略的建模和实施方法，重点解决多因素存取控制策略的因素分类和分解、存取控制策略的结构化定义和形式化分析、以及实施存取控制策略的软件结构设计和验证等问题。本项目将建立一种面向视角的方法，结构化地定义多因素存取控制策略、增量式地设计存取控制策略的软件结构、形式化地分析策略的性质和验证软件结构的正确性。该方法既能够有效地控制多因素存取控制策略设计的复杂性，又支持存取控制策略实施的可适应性和可重用性。