Search Sciweavers | Sciweavers

1183 search results - page 7 / 237

» On flow-sensitive security types

108

click to vote

TAPSOFT
1997
Springer

117views Software Engineering» more TAPSOFT 1997»

A Type-Based Approach to Program Security

15 years 8 months ago

Download users.cs.fiu.edu

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

claim paper

Read More »

Voted

OOPSLA
2007
Springer

106views Security Privacy» more OOPSLA 2007»

Establishing object invariants with delayed types

15 years 10 months ago

Download research.microsoft.com

Manuel Fähndrich, Songtao Xia

claim paper

Read More »

click to vote

OOPSLA
2007
Springer

81views Security Privacy» more OOPSLA 2007»

Variant path types for scalable extensibility

15 years 10 months ago

Download www.sato.kuis.kyoto-u.ac.jp

Atsushi Igarashi, Mirko Viroli

claim paper

Read More »

click to vote

OOPSLA
2005
Springer

126views Security Privacy» more OOPSLA 2005»

Associated types and constraint propagation for mainstream object-oriented generics

15 years 9 months ago

Download parasol.tamu.edu

Jaakko Järvi, Jeremiah Willcock, Andrew Lumsd...

claim paper

Read More »

click to vote

OOPSLA
2004
Springer

59views Security Privacy» more OOPSLA 2004»

Object-oriented encapsulation for dynamically typed languages

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers