Paragon公司 swMATH ID: 13306 软件作者: 尼古拉斯·布罗伯格(Niklas Broberg);范·德尔夫特,巴特;大卫·桑兹 描述: Paragon用于信息流控制的实际编程。软件应用程序的传统安全策略足以管理访问控制级别的问题。但主流编程语言的标准抽象机制不足以表示一旦获得对资源的访问,信息如何在资源之间流动。在实践中,我们认为管理应用程序的端到端安全属性需要这样的控制(信息流控制)。在本文中,我们介绍了Paragon,一种基于Java的语言,具有对信息流控制策略静态检查的一流支持。Paragon策略是在基于逻辑的策略语言中指定的。由于其显式状态的性质,这些策略似乎比以前支持信息流的语言中使用的策略更具表现力和灵活性。我们的贡献是展示Paragon的设计和实现,Paragon将策略语言与Java的面向对象设置顺利集成,并使用成熟的编程语言享受婚姻带来的好处。 主页: http://www.cse.chalmers.se/research/group/paragon/ 关键词: 信息流;静态强制执行 相关软件: Jif公司;github;塞林克;JSLINQ公司;网址(Ur/Web);PLIF公司;层压;JRIF公司;J流量;FlowFox公司;JSFlow公司;JavaScript脚本;阿达95;阿格利特;流量凸轮;dsd工具 引用于: 9文件 标准条款 1出版物描述软件 年份 带信息流控制的实用编程段落尼古拉斯·布罗伯格(Niklas Broberg);范·德尔夫特,巴特;大卫·桑兹 2013 全部的 前5名23位作者引用 2 弗莱明·尼尔森 2 汉内·里斯·尼尔森 1 欧文·雅顿 1 卢西亚诺·贝洛 1 尼古拉斯·布罗伯格 1 雷娜·迪米特洛娃 1 伯恩德·芬克贝纳 1 罗伯特·格拉博夫斯基 1 丹尼尔·赫丁 1 马塞·科瓦奇 1 埃利萨维特·科兹里 1 李锡盟 1 海科·曼特尔 1 马库斯·穆勒·奥尔姆 1 安德鲁·迈尔斯(Andrew C.Myers)。 1 Matthias佩纳 1 马库斯·拉贝。 1 安德烈·萨贝尔菲尔德 1 大卫·桑兹 1 弗雷德·施耐德。 1 赫尔穆特·塞德尔 1 蒂马科夫,A.A。 1 亚历山大·温纳 2篇连载文章中引用 1 编程和计算机软件 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 9 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的引文