zbMATH中的参考文献（参考文献18条)

1. 科兹里，埃利萨维特；阿登，欧文；迈尔斯，安德鲁C。；Schneider，Fred B.：JRIF：Java的反应式信息流控制（2019）
2. 包雷ß, 托马斯；佩森蒂·格里蒂，阿曼多；波佩斯库，安德烈；雷蒙迪，佛朗哥：CoSMed：一个经过保密验证的社交媒体平台（2018年）
3. 包雷ß, 托马斯；佩森蒂·格里蒂，阿曼多；波佩斯库，安德烈；雷蒙迪，佛朗哥：CoSMed：一个经过保密验证的社交媒体平台（2016年）
4. 巴托莱蒂，马西莫；卡斯特拉尼，伊利亚；丹尼é卢，皮埃尔·马洛；迪扎尼-西亚卡格里尼，马里安戈拉；吉莱赞，西尔维亚；潘托维奇，约万卡；Pé雷兹，豪尔赫A。；蒂曼，彼得；托尼尼奥，贝尔纳多；托尔维埃拉与行为分析相结合（Torrviera，2015）
5. 贝洛，卢西亚诺；何丁，但以理；Sabelfeld，Andrei:信息流控制的价值敏感性和可观测抽象值（2015）
6. 李小伟；薛媛：服务器端web应用安全方法调查（2014）
7. 舍普，丹尼尔；何丁，但以理；Sabelfeld，Andrei:SeLINQ:跨应用程序数据库边界跟踪信息（2014）
8. 张丹凤；Myers，Andrew C.：静态错误的一般诊断（2014）
9. 奥斯汀，托马斯H。；弗拉纳根，科马克：动态信息流的多方面（2012）
10. Grabowski，Robert:动态安全环境中移动代码的信息流分析（2012）
11. 阿斯卡罗夫，阿斯兰；迈尔斯，安德鲁：攻击者控制和影响机密性和完整性（2011）
12. 福奈特，Cédric公司；普朗努尔，Jérémy:将信息流安全编译为最小可信计算基础（2011）
13. 李鹏；Zdancewic，Steve:安全信息流的箭头（2010）
14. 哈默，基督徒；斯内尔，格雷戈：基于程序依赖图的流敏感、上下文敏感和对象敏感的信息流控制（2009）ioport公司
15. 鲁索，亚历杭德罗；Sabelfeld，Andrei：在同步的情况下确保线程和调度程序之间的交互（2009）
16. Hähnle，雷纳；潘静；Rü默尔，菲利普；Walter，Dennis:将安全类型系统集成到程序逻辑中（2008）
17. 郑蓝田；Myers，Andrew C.：动态安全标签和静态信息流控制（2007）ioport公司
18. Yoshida，Nobuko:基于类型的移动计算安全完整性、保密性和活跃性（2006）