Jif公司

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


zbMATH参考文献(16篇文章引用)

显示第1到16个结果,共16个。
按年份排序(引用)

  1. 科兹里,Elisavet;雅顿,欧文;迈尔斯,安德鲁C.;施耐德,弗雷德B.:JRIF:Java的反应式信息流控制(2019)
  2. Bauereiß,Thomas;Pesenti Gritti,Armando;Popescu,Andrei;Raimondi,Franco:CoSMed:a Secretified verified social media platform(2018年)
  3. 《保密性:阿门提亚,波塞雷蒂》,2016年;波塞雷蒂,社会媒体
  4. 巴托莱蒂,马西莫;卡斯特拉尼,伊拉里亚;丹尼埃卢,皮埃尔·马洛;迪扎尼·西卡格里尼,马里安戈拉;吉莱赞,西尔维亚;潘托维奇,乔万卡;佩雷斯,豪尔赫A;蒂曼,彼得;托尼尼奥,贝尔纳多;维埃拉,雨果·托雷斯:将行为类型与安全分析相结合(2015)
  5. 李晓伟;薛元元:服务器端web应用安全方法调查(2014)
  6. Daniel Schoepe,Daniel;Hedin,Daniel;Sabelfeld,Andrei:SeLINQ:跨应用程序数据库边界跟踪信息(2014)
  7. 张丹峰;迈尔斯,安德鲁C.:走向静态错误的一般诊断(2014)
  8. Grabowski,Robert:动态安全环境中移动代码的信息流分析(2012)
  9. Askarov,Aslan;Myers,Andrew:攻击者对机密性和完整性的控制和影响(2011)
  10. Fournet,Cédric;Planul,Jérémy:将信息流安全编译到最小可信计算基础(2011)
  11. Li,Peng;Zdancewic,Steve:安全信息流的箭头(2010)
  12. Hammer,Christian;Sneling,Gregor:基于程序依赖图的流敏感、上下文敏感和对象敏感的信息流控制(2009)ioport公司
  13. Russo,Alejandro;Sabelfeld,Andrei:在同步的情况下确保线程和调度程序之间的交互(2009)
  14. Hähnle,Reiner;Pan,Jing;Rümmer,Philipp;Walter,Dennis:将安全类型系统集成到程序逻辑中(2008)
  15. 郑兰田;迈尔斯,安德鲁C.:动态安全标签与静态信息流控制(2007)ioport公司
  16. Yoshida,Nobuko:基于类型的移动计算安全完整性、保密性和活跃性(2006)