2335 search results - page 45 / 467 » Securing Distributed Systems with Information Flow Control |
105
Voted
ACSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper describes the implementation of an enforcement module for file system security implemented as part of a security architecture for distributed systems which enforces a c...
136
click to vote
SASO
2007
IEEE
15 years 8 months ago
2007
IEEE
For self-organising emergent solutions, there is no support to explicitly design system-wide information flows and feedback loops in those flows. This is problematic because the...
109
click to vote
CSFW
2000
IEEE
15 years 6 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
116
click to vote
ATC
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
127
Voted
ENTCS
2006
15 years 2 months ago
2006
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studnformation ...