13 search results - page 1 / 3 » Noninterference through Secure Multi-execution |
ESORICS
1994
Springer
13 years 8 months ago
1994
Springer
SP
2010
IEEE
13 years 2 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
CSFW
2003
IEEE
13 years 9 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
CSFW
2004
IEEE
13 years 8 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
ICDCIT
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...