311 search results - page 22 / 63 » Secure Information Flow by Self-Composition |
ICISS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Information integrity is a vital security property in a variety of applications. However, there is more than one facet to integrity: interpretations of integrity in diffe...
71
Voted
NOMS
2006
IEEE
15 years 3 months ago
2006
IEEE
— Flow-level traffic measurement is required for a wide range of applications including accounting, network planning and security management. A key design challenge is how to gr...
ESORICS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the gue...
OSDI
2006
ACM
15 years 10 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...
82
Voted
ARCS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...