Jif公司

Jif:Java信息流。Jif是一种安全类型的编程语言,它扩展了Java,支持在编译时和运行时执行的信息流控制和访问控制。Jif编译器和运行时系统的源代码可以下载。Jif是用Java编写的,使用Polyglot可扩展Java编译器框架构建


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

显示第1至19个结果,共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)