Sciweavers

429 search results - page 4 / 86
» Compositionality of Secure Information Flow
Sort
View
94
Voted
CSFW
1999
IEEE
15 years 4 months ago
Process Algebra and Non-Interference
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...
Peter Y. A. Ryan, Steve A. Schneider
SP
1990
IEEE
15 years 3 months ago
Probabilistic Interference
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...
James W. Gray III
91
Voted
SP
1990
IEEE
15 years 3 months ago
Security Models and Information Flow
John McLean