数据安全和隐私保护是当今社会所关注的重大问题,在某些突发的情况下,需要通过突破常规的方式获得临时访问相关隐私数据的授权,这种现象被称为“破例”。在日常生活和工作中,尽管这种应急措施简单而有效,但也给隐私数据带来了安全隐患。因此如何在“破例”的情况下保护隐私数据的安全是一个亟待解决的问题。本文基于策略空间的定义,利用形式化工具,对每个空间中的策略进行偶图建模,并给出了一个具体的访问请求在策略空间中的评估流程,且当出现“破例”情况时,给出了具体的应对措施和解决方案。然后本文以医院的一个实际场景为例进行建模,以对各个空间中定义的策略是否存在潜在风险进行验证。最后本文实现了一个原型工具,目的是将医院拓扑转换为偶图初始模型并将访问控制策略转换为反应规则。主要的工作内容有:首先,针对隐私保护的问题,从人机物三元一体的角度提出了访问控制策略及其组合的描述方式。然后分别对每个空间的策略进行举例并用形式化方法进行偶图建模,最后对一个具体的访问,给出了在策略空间的评估流程。其次,针对定义的访问控制策略存在二义性会导致用户隐私数据泄露的问题,提出了用形式化建模的方式对策略空间进行验证。并以医院的一个具体场景为例,给出了用形式化工具(偶图)进行建模的方法。首先要对网络物理环境进行静态建模,这样有了初始模型之后,还要定义使模型向前衍化的反应规则,由于篇幅的原因,本文只介绍了常用的几个操作,包括登录、退出、读、写等七个操作,并用偶图进行表示。最后定义需要模型检测的性质,这里主要检查策略空间中的授权是否会造成医院系统的信息泄露,如若检测出漏洞,相关人员可及时进行修正,以防医院造成重大损失。最后本文设计了一个原型工具,该原型工具能够将拓扑结构转换为偶图初始模型,将访问控制策略转换为反应规则,从而大幅度降低偶图建模相关从业人员的技术要求。