100 search results - page 1 / 20 » Secure Information Flow in a Multi-Threaded Imperative Langu... |
103
Voted
POPL
1998
ACM
15 years 3 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
120
Voted
CSFW
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
144
Voted
ESORICS
2012
Springer
13 years 1 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
79
Voted
LISP
2002
14 years 10 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
94
Voted
ESOP
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...