6 search results - page 1 / 2 » Reactive noninterference |
80
Voted
JLP
2007
14 years 10 months ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
77
Voted
CCS
2009
ACM
15 years 5 months ago
2009
ACM
Many programs operate reactively, patiently waiting for user input, subsequently running for a while producing output, and eventually returning to a state where they are ready to ...
82
Voted
ESORICS
2005
Springer
15 years 4 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
73
Voted
ESORICS
2002
Springer
15 years 10 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
SP
1990
IEEE
15 years 2 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...