83 search results - page 3 / 17 » Secured Information Flow for Asynchronous Sequential Process... |
ICDCSW
2000
IEEE
13 years 9 months ago
2000
IEEE
ARCS
2006
Springer
13 years 9 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...
CSFW
2000
IEEE
13 years 9 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
ACSC
2006
IEEE
13 years 9 months ago
2006
IEEE
Communications devices intended for use in securitycritical applications must be rigorously evaluated to ensure they preserve data confidentiality. This process includes tracing t...
CSFW
2002
IEEE
13 years 10 months ago
2002
IEEE
We study a security property for processes in dynamic contexts, i.e., contexts that can be reconfigured at runtime. The security property that we propose in this paper, named Per...