Secure information flow and pointer con .nement in a java-like language
Secure information flow and pointer con .nement in a java-like language
复制标题
使用类 java 语言实现安全信息流和指针约束
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
D. Naumann
中科院分区：
文献类型：
--
作者：
A. Banerjee;D. Naumann
我们考虑一个顺序的面向对象的语言指针和可变状态，私有字段和基于类的可见性，动态绑定和继承，递归类，造型和类型测试，和递归方法。程序被标注了安全级别，受到安全类型规则的约束。一个不干涉定理表明了规则如何确保指针限制和安全的信息流。
We consider a sequential object-oriented language with pointers and mutable state, private fields and class-based visibility, dynamic binding and inheritance, recursive classes, casts and type tests, and recursive methods. Programs are annotated with security levels, constrainedby security typing rules. A noninterference theorem shows how the rules ensure pointer confinement and secure information flow.