101
click to vote
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...