Jif公司

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