Sciweavers

1183 search results - page 7 / 237
» On flow-sensitive security types
Sort
View
TAPSOFT
1997
Springer
15 years 8 months ago
A Type-Based Approach to Program Security
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...
Dennis M. Volpano, Geoffrey Smith
88
Voted
OOPSLA
2007
Springer
15 years 10 months ago
Establishing object invariants with delayed types
Manuel Fähndrich, Songtao Xia
OOPSLA
2007
Springer
15 years 10 months ago
Variant path types for scalable extensibility
Atsushi Igarashi, Mirko Viroli
OOPSLA
2005
Springer
15 years 9 months ago
Associated types and constraint propagation for mainstream object-oriented generics
Jaakko Järvi, Jeremiah Willcock, Andrew Lumsd...
OOPSLA
2004
Springer
15 years 9 months ago
Object-oriented encapsulation for dynamically typed languages
Nathanael Schärli, Andrew P. Black, Sté...