J流量 swMATH ID: 20595 软件作者: 安德鲁·迈尔斯 描述: JFlow:实用的最静态信息流控制。保护敏感数据的隐私和完整性的一种很有前途的技术是静态检查操作数据的程序中的信息流。虽然之前的工作已经提出了编程语言扩展来允许这种静态检查,但最终的语言对于实际使用来说限制太多,尚未实现。在本文中,我们描述了新语言JFlow,它是Java语言的扩展,添加了静态检查的信息流注释。JFlow提供了几个新特性,使信息流检查比以前的模型更加灵活和方便:分散的标签模型、标签多态性、运行时标签检查和自动标签推断。JFlow还支持许多从未与静态信息流控制成功集成的语言功能,包括对象、子类化、动态类型测试、访问控制和异常。本文定义了JFlow语言,并给出了用于检查JFlow程序正确性的形式化规则。因为大多数检查都是静态的,所以JFlow实现中几乎没有代码空间、数据空间或运行时开销。 主页: http://dl.acm.org/citation.cfm?id=292561 相关软件: TaintDroid公司;哈斯克尔;TALX6公司;Jif公司;轻量级Java;层压;F类*;有限责任公司;JML公司;氯化钠;甲酚;Coq公司;ArcAngel公司;马戏团;罗丹;梅林;新加坡交易所;私人运输公司;寓言;护城河 引用于: 23文件 全部的 前5名被71位作者引用 1 马丁·阿巴迪 1 Abu-Ghazaleh,Nael B。 1 阿斯兰·阿斯卡洛夫 1 伊莎贝尔·阿塔利 1 何塞·巴塞拉尔·阿尔梅达 1 曼纽尔·巴博萨 1 吉尔·巴特 1 阿弥陀佛巴苏 1 伯恩哈德·贝克特 1 钱德里卡·巴德瓦吉 1 博尔祖·博纳克达尔普尔 1 杰拉德·布多尔 1 诺埃尔·布雷特 1 丹尼尔·布伦斯 1 路易斯·凯雷斯 1 丹尼斯·卡罗梅尔 1 伊利亚州卡斯特拉尼 1 Chang,Bor-Yuh Evan先生 1 卡尔·克里 1 尼科莱塔·德·弗朗西斯科 1 费利佩·卢纳(Felipe Luna)·德尔·阿吉拉(Del Aguila) 1 玛格丽特·德拉普 1 董,袁 1 克里斯蒂安·埃内 1 Mehran S·法拉。 1 皮埃特罗·费拉拉 1 罗伯特·哈珀 1 威廉·R·哈里斯。 1 卢多维奇·亨利奥 1 伊兰曼内什、泽纳布 1 Jha,萨默什 1 亚历山大·基特曼 1 弗拉基米尔·克莱巴诺夫 1 劳德,皮特 1 李鹏 1 贾森·利什卡 1 卢埃萨·卢伦索 1 海科·曼特尔 1 卢卡·马提尼 1 劳伦特·穆尼尔 1 马库斯·穆勒·奥尔姆 1 汤姆七世墨菲 1 安德鲁·迈尔斯(Andrew C.Myers)。 1 卢卡·奥利维埃里 1 Owe、Olaf 1 欧佐伊、梅尔特姆 1 Matthias佩纳 1 马丁·佩泰 1 弗兰克·芬宁 1 豪尔赫·索萨·品托 1 亚历克斯·波坦 1 玛丽·劳蕾·波特 1 桑吉瓦·普拉萨德 1 托克塔姆,拉梅扎尼法尔卡尼 1 代表,Thomas W。 1 塔马拉·雷兹克 1 托比亚斯·伦格 1 伊娜·谢弗 1 克里斯托夫·谢本 1 彼得·施密特(Peter H.Schmitt)。 1 马可·塞韦托 1 桑吉特·阿伦库马尔 1 乌迈尔·西迪克 1 斯波托,福斯托 1 苏里、塔米什 1 Tokas、Shukun 1 马蒂亚斯·乌尔布里奇 1 巴巴拉·维埃拉 1 王胜元 1 亚历山大·温纳 1 史蒂夫·兹丹塞维奇 全部的 前5名9篇连载文章中引用 2 理论计算机科学 2 计算机语言、系统和结构 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 电气电子工程师学会计算机期刊 1 计算机程序设计科学 1 信息与计算 1 系统设计中的形式化方法 1 科学中国。信息科学 在3个字段中引用 23 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 三 信息与通信理论、电路(94-XX) 按年份列出的引文