429 search results - page 4 / 86 » Compositionality of Secure Information Flow |
CSFW
1999
IEEE
15 years 1 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
SP
1990
IEEE
15 years 1 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...
SP
1990
IEEE
15 years 1 months ago
1990
IEEE
SP
1991
IEEE
15 years 1 months ago
1991
IEEE
ACSAC
2001
IEEE
15 years 1 months ago
2001
IEEE