×

面向对象软件中的信息流。 (英语) Zbl 1453.68027号

Gupta,Gopal(编辑)等,基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。8901, 19-37 (2014).
摘要:本文致力于研究顺序Java的对象敏感信息流属性,即考虑通过对象而不是原语值的信息泄漏的属性。我们对一个流行的对象敏感的不干涉属性提出了两个改进。两者都减少了分析和监控工具的负担。我们在程序逻辑(在我们的例子中是JavaDL)中对该属性进行了形式化,它允许使用现有工具而不需要修改程序。第三个贡献是一种新的细粒度规范方法。在我们的方法中,可以为任意JavaDL术语(读作“无副作用Java表达式”)分配一个安全级别,而安全标签只附加到字段和变量。
关于整个系列,请参见[Zbl 1320.68017号].

理学硕士:

68甲15 编程语言理论
03B70号 计算机科学中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。