摘要
阿巴97。 马丁·阿巴迪。 通过键入安全协议来保密。 程序中。 计算机软件的理论方面：第三届国际会议，1997年9月。 谷歌学者 
数字图书馆 
ACPP91。 Martfn Abadi、Luca Cardelli、Benjamin C.Pierce和Gordon D.Plotkin。 静态类型语言中的动态类型。 《美国计算机学会编程语言与系统学报》（TOPLAS），13（2）：237-2681991年4月。 另见SRC研究报告47。 谷歌学者 数字图书馆 AR80。 格雷戈里·安德鲁斯（Gregory R.Andrews）和理查德·雷特曼（Richard E Reitman）。 程序中信息流的公理方法。 美国计算机学会程序设计语言与系统汇刊，2（1）：56-761980。 谷歌学者 数字图书馆 BL75。 D.E.Bell和L.J.LaPadula。 安全的计算机系统：统一的解释和多重解释。 技术报告ESD-TR-75-306，MITRE公司MTR-2997，马萨诸塞州贝德福德，1975年。 可用名称为NTIS AD-A023 588。 谷歌学者 卡91。 卢卡·卡德利。 类型化编程。 编辑E.J.Neuhold和M.Paul，《编程概念的形式化描述》。 Springer-Verlag，1991年。 1989年2月，DEC系统研究中心第45号研究报告发布了早期版本。 谷歌学者 DD77。 Dorothy E.Denning和Peter J.Denning。 安全信息流程序认证。 ACM委员会，20（7）：504-5131977年。 谷歌学者 数字图书馆 76年12月。 多萝西·E·丹尼。 安全信息流的格子模型。 ACM委员会，19（5）：236-2431976年。 谷歌学者 数字图书馆 登82。 多萝西·E·丹尼。 加密和数据安全。 Addison-Wesley，雷丁，马萨诸塞州，1982年。 谷歌学者 数字图书馆 GJS96。 詹姆斯·戈斯林、比尔·乔伊和盖·斯蒂尔。 Java语言规范。 Addison-Wesley，1996年8月。 ISBN 0-201-63451-1。 谷歌学者 数字图书馆 HDT87型。 苏珊·霍维茨（Susan Horwitz）、阿兰·德默斯（Alan Demers）和蒂姆·泰特鲍姆（Tim Teitelbaum）。 一种用于数据流分析的高效通用迭代算法。 《信息学报》，24:679-6941987年。 谷歌学者 数字图书馆 HR98型。 内文·海因策（Nevin Heintze）和乔恩·里克（Jon G.Riecke）。 SLam演算：程序中具有保密性和完整性的编程。 第25届ACM交响乐团。 《编程语言原理》（POPL），加利福尼亚州圣地亚哥，1998年1月。 谷歌学者 数字图书馆 JL78。 安妮塔·琼斯和芭芭拉·利斯科夫。 表示数据访问约束的语言扩展。 ACM委员会，21（5）：358-3671978年5月。 谷歌学者 数字图书馆 千瓦94。 Atsushi Kanamori和Daniel Weise。 数据流分析的工作列表管理策略。 技术报告MSR-TR-94-12，Microsoft Research，1994年5月。 谷歌学者 兰73。 巴特勒·W·兰普森。 关于限制问题的说明。 ACM委员会，16（10）：613-6151973年10月。 谷歌学者 数字图书馆 LMM98。 Barbara Liskov、Nicholas Mathewson和Andrew C.Myers。 PolyJ：Java的参数化类型。 软件版本。 位于 http://www.pmg.lcs.mit.edu/polyj 1998年7月。 谷歌学者 MBL97标准。 Andrew C.Myers、Joseph A.Bank和Barbara Liskov。 Java的参数化类型。 程序中。 第24届ACM交响乐团。 《编程语言原理》（POPL），第132-145页，法国巴黎，1997年1月。 谷歌学者 数字图书馆 ML97。 安德鲁·迈尔斯（Andrew C.Myers）和芭芭拉·利斯科夫（Barbara Liskov）。 信息流控制的分散模型。 程序中。 第17代ACM糖浆。 关于操作系统原理（SOSP），第129-142页，法国圣马洛，1997年。 谷歌学者 数字图书馆 ML98。 安德鲁·迈尔斯（Andrew C.Myers）和芭芭拉·利斯科夫（Barbara Liskov）。 具有分散标签的完整、安全的信息流。 程序中。 IEEE安全与隐私研讨会，美国加利福尼亚州奥克兰，1998年5月。 谷歌学者 MMN90。 Catherine J.McCollum、Judith R.Messing和LouAnna Notargiacomo。 超越MAC和DAC的界限——定义新形式的访问控制。 程序中。 IEEE安全与隐私研讨会，第190-200页，1990年。 谷歌学者 交叉引用 
Mye99。 安德鲁·迈尔斯（Andrew C.Myers）。 大多数是静态分散信息流控制。 麻省理工学院博士论文，马萨诸塞州剑桥，1999年。 正在进行中。 谷歌学者 数字图书馆 PO95。 Jens Palsberg和Peter Orb~ek。 相信）~-演算。 程序中。 第二届静态分析国际研讨会，第983期，计算机科学讲稿，第314-329页。 斯普林格，1995年9月。 谷歌学者 数字图书馆 96令吉。 雅各布·雷霍夫和托本。 莫根森。 有限半格中的可牵引约束。 程序中。 第三届静态分析国际研讨会，计算机科学讲稿第1145页，第285-300页。 Springer-Verlag，1996年9月。 谷歌学者 数字图书馆 RSC92。 乔尔·理查德森（Joel Richardson）、彼得·施瓦兹（Peter Schwarz）和路易斯·菲利佩·卡布雷拉（Luis-Felipe Cabrera）。 CACL：对对象的高效细粒度保护。 1992年10月，加拿大不列颠哥伦比亚省温哥华，第154-165页，《1992年面向对象编程系统、语言和应用CM会议记录》。 谷歌学者 数字图书馆 斯托81。 阿伦·斯托顿。 访问流：集成访问控制和信息流的保护模型。 在IEEE安全与隐私研讨会上，第9-I 8页。 IEEE计算机学会出版社，1981年。 谷歌学者 SV98。 杰弗里·史密斯和丹尼斯·沃尔帕诺。 多线程命令式语言中的安全信息流。 程序中。 第25份ACM糖浆。 《编程语言原理》（POPL），加利福尼亚州圣地亚哥，1998年1月。 谷歌学者 数字图书馆 第97卷。 丹尼斯·沃尔帕诺。 用于远程评估的Provably-secure编程语言。 ACM SIGPLAN通知，32（1）：117-1192997年1月。 谷歌学者 数字图书馆 第96页。 丹尼斯·沃尔帕诺、杰弗里·史密斯和辛西娅·欧文。 用于安全流分析的健全类型系统。 计算机安全杂志，4（3）：167-1871996。 谷歌学者 数字图书馆
索引术语
JFlow：实用的最静态信息流控制
建议
JFlow：基于流的并行的实用重构 ASE’13：第28届IEEE/ACM自动化软件工程国际会议论文集 识别、挖掘和合成（RMS）领域的新兴应用； 图像和视频处理； 数据仓库； 自动金融交易承认一种特殊的并行方式，称为 基于流的并行 。为了帮助开发人员。。。 使用千年发展目标对ASM进行正式验证 我们提出了一个使用多路决策图（MDG）工具对抽象状态机（ASM）设计进行形式验证的框架。 ASM是一种基于状态的语言，用于描述过渡系统。 千年发展目标提供了过渡的符号表示。。。
