Factorization of Behavioral Integrity

Ximeng Li, Flemming Nielson, Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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 languageEnglish
Title of host publicationProceedings of th 20th European Symposium on Research in Computer Security - ESORICS 2015 : Part 2
EditorsGünther Pernul, Peter Y A Ryan, Edgar Weippl
PublisherSpringer
Publication date2015
Pages500-519
ISBN (Print)978-3-319-24176-0
ISBN (Electronic)978-3-319-24177-7
DOIs
Publication statusPublished - 2015
Event20th European Symposium on Research in Computer Security (ESORICS 2015) - Vienna, Austria
Duration: 21 Sept 201525 Sept 2015
Conference number: 20
http://esorics2015.sba-research.org/

Conference

Conference20th European Symposium on Research in Computer Security (ESORICS 2015)
Number20
Country/TerritoryAustria
CityVienna
Period21/09/201525/09/2015
Internet address
SeriesLecture Notes in Computer Science
Volume9327
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Factorization of Behavioral Integrity'. Together they form a unique fingerprint.

Cite this