Abstract
We develop a bisimulation-based nonintereference property that describes the allowed dependencies between communication behaviors of different integrity levels. The property is able to capture all possible combinations of integrity levels for the “presence” and “content” of actual communications. Channels of low presence integrity and high content integrity can be used to model the effect of Message Authentication Codes or the consequence of Denial of Service Attacks. In case the distinction between “presence” and “content” is deliberately blurred, the noninterference property specialises to a classical process-algebraic property (called SBNDC). A compositionality result is given to facilitate a structural approach to the analysis of concurrent systems.
Original language | English |
---|---|
Title of host publication | Proceedings of th 20th European Symposium on Research in Computer Security - ESORICS 2015 : Part 2 |
Editors | Günther Pernul, Peter Y A Ryan, Edgar Weippl |
Publisher | Springer |
Publication date | 2015 |
Pages | 500-519 |
ISBN (Print) | 978-3-319-24176-0 |
ISBN (Electronic) | 978-3-319-24177-7 |
DOIs | |
Publication status | Published - 2015 |
Event | 20th European Symposium on Research in Computer Security (ESORICS 2015) - Vienna, Austria Duration: 21 Sept 2015 → 25 Sept 2015 Conference number: 20 http://esorics2015.sba-research.org/ |
Conference
Conference | 20th European Symposium on Research in Computer Security (ESORICS 2015) |
---|---|
Number | 20 |
Country/Territory | Austria |
City | Vienna |
Period | 21/09/2015 → 25/09/2015 |
Internet address |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 9327 |
ISSN | 0302-9743 |