摘要
A.Askarov和S.Chong。 学习是知识的改变：动态策略的基于知识的安全性。 在 第25届IEEE计算机安全基础研讨会会议记录 ，第308--322页，美国新泽西州皮斯卡塔韦，2012年6月。 IEEE出版社。 谷歌学者 
数字图书馆 
A.Askarov、S.Hunt、A.Sabelfeld和D.Sands。 终端敏感无干扰泄漏不止一点 计算机安全-ESORICS 2008 ，第333页至第348页。 施普林格，2008年。 谷歌学者 数字图书馆 A.Askarov和A.Sabelfeld。 用于实现密码协议的安全类型语言：案例研究。 斯普林格，2005年。 谷歌学者 数字图书馆 A.Askarov和A.Sabelfeld。 逐步发布：统一解密、加密和密钥发布策略。 在 《安全与隐私》，2007年。 SP'07年。 IEEE研讨会 ，第207--221页。 IEEE，2007年。 谷歌学者 数字图书馆 M.Balliu、M.Dam和G.Le Guernic。 信息流安全的认知时序逻辑。 在 ACM SIGPLAN第六届编程语言和安全分析研讨会会议记录 ，第6页。 ACM，2011年。 谷歌学者 数字图书馆 N.Broberg、B.v.Delft和D.Sands。 动态政策的剖析和方面。 在 计算机安全基础 , 2015. 出现。 谷歌学者 数字图书馆 N.Broberg和D.Sands。 Paralocks——基于角色的信息流控制及其他。 在 POPL’10，第37届ACMSIGACT-SIGPLAN编程语言原理研讨会论文集 , 2010. 谷歌学者 数字图书馆 N.Broberg、B.vanDelft和D.Sands。 Paragon用于信息流控制的实际编程。 在 编程语言和系统：第11届亚洲研讨会，2013年12月9日至11日，澳大利亚维多利亚州墨尔本，APLAS 2013。 诉讼 ，第217--232页。 施普林格，2013年。 谷歌学者 数字图书馆 P.Buiras和B.van Delft。 动态策略的动态实施-TR。 http://slio.bitbucket.org。 访问时间：2014-10-18。 谷歌学者 S.Chong和A.C.Myers。 基于语言的信息擦除。 在 计算机安全基础，2005年。 CSFW-18 2005年。 第18届IEEE研讨会 ，第241--254页，2005年。 谷歌学者 数字图书馆 E.科恩。 计算系统中的信息传输。 在 ACM SIGOPS操作系统审查 ，第11卷，第133-139页。 ACM，1977年。 谷歌学者 数字图书馆 B.v.Delft、S.Hunt和D.Sands。 动态策略的静态执行。 在 安全与信任原则。 斯普林格，2015年。 谷歌学者 D.Devriese和F.Piessens。 通过安全多执行实现无干扰。 在 程序。 2010年IEEE安全与隐私研讨会 ，SP'10。 IEEE计算机学会，2010年。 谷歌学者 数字图书馆 M.Felleisen和R.Hieb。 关于顺序控制和状态句法理论的修订报告。 理论计算机科学 , 103(2):235--271, 1992. 谷歌学者 数字图书馆 J.A.Goguen和J.Meseguer。 安全策略和安全模型。 在 2012年IEEE安全与隐私研讨会 ，第11-11页。 IEEE计算机学会，1982年。 谷歌学者 J.A.Goguen和J.Meseguer。 放卷和推理控制。 在 2012年IEEE安全与隐私研讨会 ，第75-75页。 IEEE计算机学会，1984年。 谷歌学者 M.Hicks、S.Tse、B.Hicks和S.Zdancewic。 信息流策略的动态更新。 在 程序。 计算机安全研讨会基础 2005年第20卷。 谷歌学者 C.Hritcu、M.Greenberg、B.Karel、B.C.Pierce和G.Morrisett。 您的所有IFC例外都属于我们。 2012年IEEE安全与隐私研讨会 , 2013. 谷歌学者 数字图书馆 J.休斯。 用箭头编程。 在 高级函数编程 ，第73-129页。 斯普林格，2005年。 谷歌学者 数字图书馆 P.Li和S.Zdancewic。 Haskell中的编码信息流。 在 CSFW’06：程序。 第19届IEEE计算机安全基础研讨会。 IEEE计算机协会，2006年。 谷歌学者 数字图书馆 A.A.Matos和G.Boudol。 关于解密和保密政策。 在 计算机安全基础，2005年。 CSFW-18 2005年。 第18届IEEE研讨会 ，第226-240页。 IEEE，2005年。 谷歌学者 数字图书馆 D.麦卡洛。 安全属性的不干涉性和可组合性。 在 《安全与隐私》，1988年。 诉讼程序。， 1988年IEEE研讨会 ，第177-186页。 IEEE，1988年。 谷歌学者 数字图书馆 E.莫吉。 计算和单子的概念。 信息与计算 ，93:55-921989年。 谷歌学者 数字图书馆 J.Morgenstern和D.R.Licata。 独立类型编程中的安全类型编程。 在 程序。 第15届ACM SIGPLAN函数编程国际会议。 ACM，2010年。 谷歌学者 数字图书馆 A.C.迈尔斯。 Jflow：实用的、主要是静态的信息流控制。 在 第26届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 ，第228--241页，1999年。 谷歌学者 数字图书馆 A.C.Myers和B.Liskov。 信息流控制的分散模型 ，第31卷。 ACM，1997年。 谷歌学者 数字图书馆 A.C.Myers和B.Liskov。 使用分散的标签实现完整、安全的信息流。 在 《安全与隐私》，1998年。 诉讼程序。 1998年IEEE研讨会 ，第186-197页，1998年。 谷歌学者 交叉引用 
A.Russo、K.Claessen和J.Hughes。 Haskell中的轻量级信息流安全库。 第13-24页。 ACM出版社，2008年9月。 谷歌学者 A.Sabelfeld和D.Sands。 取消分类：维度和原则。 在 在第18届IEEE计算机安全基础研讨会论文集（CSFW'05 ，第255-269页，2005年。 谷歌学者 数字图书馆 V.Simonet。 Flow Caml系统。 软件版本。 位于 http://cristal.inria.fr/ ~ simonet/soft/flowcaml，2003年7月。 谷歌学者 D.Stefan、A.Russo、P.Buiras、A.Levy、J.C.Mitchell和D.Maziéres。 处理并发信息流系统中的隐蔽终端和定时信道。 在 第17届ACM SIGPLAN功能编程国际会议记录 2012年，美国纽约州纽约市，ICFP’12，第201-214页。 ACM公司。 谷歌学者 数字图书馆 D.Stefan、A.Russo、D.Mazieres和J.C.Mitchell。 分离类别标签。 在 应用程序信息安全技术 ，第223-239页。 施普林格，2012年。 谷歌学者 数字图书馆 D.Stefan、A.Russo、J.C.Mitchell和D.Mazières。 Haskell中的灵活动态信息流控制。 在 第四届ACM哈斯克尔研讨会会议记录 ，Haskell’11，第95-106页，美国纽约州纽约市，2011年。 ACM公司。 谷歌学者 数字图书馆 N.Swamy、M.Hicks、S.Tse和S.Zdancewic。 用安全类型语言管理策略更新。 在 计算机安全基础研讨会，2006年。 第19届IEEE 第13页，IEEE，2006年。 谷歌学者 数字图书馆 S.Zdancewic和A.C.Myers。 稳健的解密。 在 IEEE计算机安全基础研讨会 ，第15-15页，2001年。 谷歌学者 数字图书馆 N.Zeldovich、S.Boyd-Wickizer、E.Kohler和D.Mazières。 在历史记录中明确信息流。 在 第七届操作系统设计与实现研讨会会议记录 ，第263-278页。 USENIX协会，2006年。 谷歌学者 数字图书馆 C.张。 有条件的信息流策略和解除关系。 在 值得信赖的全球计算 ，第227-241页。 施普林格，2012年。 谷歌学者 数字图书馆
建议
动态MAC策略的安全属性实施 SECURWARE’09：2009年第三届新兴安全信息、系统和技术国际会议记录 本文的重点是实施与动态强制访问控制策略相适应的安全属性。 它为作者以前的工作添加了补充结果，以便更好地处理动态策略。 以前的作品。。。
