13 search results - page 1 / 3 » Making Information Flow Explicit in HiStar |
OSDI
2006
ACM
14 years 5 months ago
2006
ACM
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify preci...
TCS
2010
13 years 3 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
The application of patterns is used as a foundation for many central design decisions in software architecture, but because of the informal nature of patterns, these design decisi...
ICIP
2001
IEEE
14 years 6 months ago
2001
IEEE
The information conveyed by optical flow is analytically linked to the observer motion in this paper by decomposing the optical flow field into its vector field components. It is ...
SAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...