摘要
1970年、1970年《银行保密法》。 31 USC 5311-5332和31 CFR 103。 谷歌学者 
1996年《健康保险便携性和责任法案》（HIPAA）。 公法104-191。 谷歌学者 2001年《美国爱国者法案》。 公法107-56，HR 3162 RDS。 谷歌学者 S.Abiteboul、R.Hull和V.Vianu。 数据库基础：逻辑层。 艾迪森·卫斯理，1994年。 谷歌学者 数字图书馆 
B.Alpern和F.B.Schneider。 定义活力。 通知。 过程。 莱特。， 21(4):181--185, 1985. 谷歌学者 交叉引用 
R.Alur和T.A.Henzinger。 实时逻辑和模型：一项调查。 在REX实时研讨会论文集：理论在实践中，Lect第600卷。 注释计算。 科学。， 第74-106页，1992年。 谷歌学者 数字图书馆 H.Barringer、A.Goldberg、K.Havelund和K.Sen.基于规则的运行时验证。 第五届国际验证、模型检验和抽象解释会议（VMCAI’04），Lect第2937卷。 注释计算。 科学。， 第44-57页，2004年。 谷歌学者 交叉引用 A.Barth、A.Datta、J.C.Mitchell和H.Nissenbaum。 隐私和上下文完整性：框架和应用程序。 2006年IEEE安全与隐私研讨会论文集，第184-198页，2006年。 谷歌学者 数字图书馆 D.Basin、F.Klaedtke、S.Muller和B.Pfitzmann。 度量一阶时间属性的运行时监控。 《第28届软件技术与理论计算机科学基础国际会议论文集》（FSTTCS’08），Dagstuhl研讨会论文集，第49-60页，2008年。 谷歌学者 A.Bauer、M.Leucker和C.Schallhart。 实时属性的监控。 《软件技术与理论计算机科学基础第26届会议论文集》（FSTTCS’06），Lect第4337卷。 注释计算。 科学。， 第260-272页，2006年。 谷歌学者 数字图书馆 E.Bertino、C.Bettini、E.Ferrari和P.Samarati。 支持周期性和时间推理的访问控制模型。 ACM事务处理。 数据库系统。， 23(3):231--285, 1998. 谷歌学者 数字图书馆 C.Bettini、S.Jajodia、X.S.Wang和D.Wijesekera。 政策规则管理中的规定和义务。 J·奈特。 系统。 管理。， 11(3):351--372, 2003. 谷歌学者 数字图书馆 D.F.Brewer和M.J.Nash。 中国墙安全政策。 1989年IEEE安全与隐私研讨会论文集，第206-214页，1989年。 谷歌学者 交叉引用 J.乔米奇。 使用有界历史编码有效检查时间完整性约束。 ACM事务处理。 数据库系统。， 20(2):149--186, 1995. 谷歌学者 数字图书馆 B.D'Angelo、S.Sankaranarayanan、C.Sanchez、W.Robinson、B.Finkbeiner、H.B.Sipma、S.Mehrotra和Z.Manna。 LOLA：同步系统的运行时监控。 《第十二届时间表征与推理国际研讨会论文集》（TIME'05），第166-174页，2005年。 谷歌学者 数字图书馆 N.Dinesh、A.Joshi、I.Lee和O.Sokolsky。 检查监管合规性的跟踪。 《第八届运行时验证研讨会论文集》（RV'08），Lect第5289卷。 注释计算。 科学。， 第86-103页，2008年。 谷歌学者 数字图书馆 D.F.Ferraiolo、R.S.Sandhu、S.I.Gavrila、D.R.Kuhn和R.Chandramouli。 针对基于角色的访问控制提出的NIST标准。 ACM事务处理。 通知。 系统。 安全。， 4(3):224--274, 2001. 谷歌学者 数字图书馆 C.Giblin、A.Y.Liu、S.Muller、B.Pfitzmann和X.Zhou。 以逻辑模型表示的法规（REALM）。 在第18届法律知识和信息系统年会（JURIX'05）的会议记录中，《边疆人工智能应用》第134卷。， 第37-48页，2005年。 谷歌学者 数字图书馆 S.Halle和R.Villemaire。 使用BeepBeep在web应用程序中基于浏览器强制执行接口契约。 《第21届国际计算机辅助验证会议论文集》（CAV’09），Lect第5643卷。 注释计算。 科学。， 第648-653页，2009年。 谷歌学者 数字图书馆 K.Havelund和G.Rosu。 有效监控安全性能。 国际期刊软件。 技术工具。 事务处理。， 6(2):158--173, 2004. 谷歌学者 数字图书馆 M.Hilty、D.Basin和A.Pretschner。 关于义务。 《第十届欧洲计算机安全研究研讨会论文集》（ESORICS’05），Lect第3679卷。 注释计算。 科学。， 第98-117页，2005年。 谷歌学者 数字图书馆 S.Jajodia、P.Samarati和V.S.Subrahmanian。 用于表示授权的逻辑语言。 1997年IEEE安全与隐私研讨会论文集，第31-42页，1997年。 谷歌学者 数字图书馆 H.Janicke、A.Cau、F.Siewe和H.Zedan。 从政策中衍生执行机制。 第八届IEEE分布式系统和网络政策国际研讨会（2007年政策）会议记录，第161-172页，2007年。 谷歌学者 数字图书馆 H.Janicke、A.Cau和H.Zedan。 关于UCON形式化的说明。 在2007年第12届ACM访问控制模型和技术研讨会（SACMAT’07）的会议记录中，第163-168页。 谷歌学者 数字图书馆 R.科曼斯。 使用度量时态逻辑指定实时属性。 实时系统，2（4）：255-2990。 谷歌学者 数字图书馆 法学硕士。 模拟、建模和分析。 McGraw-Hill，第4版，2007年。 谷歌学者 J.Ligatti、L.Bauer和D.Walker。 编辑自动机：运行时安全策略的实施机制。 国际信息安全杂志。， 4（1-2）：2005年2月16日。 谷歌学者 数字图书馆 S.穆勒。 运行时监控度量一阶时序逻辑的理论与应用。 2009年，苏黎世瑞士联邦理工学院（ETH）博士论文。 谷歌学者 D.尼科维奇和O.马勒。 AMT：模拟系统的基于属性的监控工具。 《第五届时间系统形式建模与分析国际会议论文集》（FORMATS’07），Lect第4763卷。 注释计算。 科学。， 第304-319页，2007年。 谷歌学者 数字图书馆 A.Pretschner、M.Hilty和D.Basin。 分布式使用控制。 Commun公司。 美国医学会，49:39--442006。 谷歌学者 数字图书馆 C.Ribeiro、A.Zukete、P.Ferreira和P.Guedes。 SPL：用于具有复杂约束的安全策略的访问控制语言。 2001年网络与分布式系统安全研讨会（NDSS’01）论文集。 谷歌学者 M.Roger和J.Goubault-Larrecq。 通过模型检查记录审核。 第14届IEEE计算机安全基础研讨会（CSFW’01）会议记录，第220-234页，2001年。 谷歌学者 数字图书馆 F.B.施耐德。 可强制执行的安全策略。 ACM事务处理。 通知。 系统。 安全。， 3(1):30--50, 2000. 谷歌学者 数字图书馆 F.Siewe、A.Cau和H.Zedan。 访问控制策略实施的组合框架。 《2003年ACM安全工程形式方法研讨会论文集》（FMSE’03），第32-422003页。 谷歌学者 数字图书馆 A.P.Sistla和O.Wolfson。 活动数据库中的临时触发器。 IEEE传输。 知识。 数据工程，7（3）：471--4861995。 谷歌学者 数字图书馆 O.Sokolsky、U.Sammapun、I.Lee和J.Kim。 动态特性的运行时检查。 电子票据提奥。 计算。 科学。， 144(4):91--108, 2006. 谷歌学者 数字图书馆 P.Thati和G.Rosu。 度量时态逻辑规范的监控算法。 电子笔记Theo。 计算。 科学。， 113:145--162, 2005. 谷歌学者 数字图书馆 X.Zhang、F.Parisi-Prescce、R.Sandhu和J.Park。使用控制的形式化模型和政策规范。 ACM事务处理。 通知。 系统。 安全。， 8(4):351--387, 2005. 谷歌学者 数字图书馆
索引术语
使用度量一阶时间逻辑监控安全策略
建议
用于医学推理的可判定一阶逻辑 KES’11：第十五届基于知识和智能的信息与工程系统国际会议记录——第二卷 本文旨在构建一个可判定的一阶逻辑，用于恰当地表达医学推理，该逻辑可能不仅需要表达时间依赖性、次一致性、构造性、资源敏感性，还需要表达顺序敏感性。。。 动态安全策略的实施和使用方面的调整 TRUSTCOM’15：2015 IEEE TRUSTCOM/BigDataSE/ISPA会议记录-第01卷 实施访问和使用控制要求（如权限和义务）来管理分布式系统是一项复杂且容易出错的任务，尤其难以实现。 在本文中，我们主张需要各种执行模式来获得。。。
