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

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