Sciweavers

429 search results - page 4 / 86
» Compositionality of Secure Information Flow
Sort
View
25
Voted
CSFW
1999
IEEE
14 years 8 days 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
13 years 12 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