Benign Interaction of Security Domains

Flemming Nielson; René Rydhof Hansen; Hanne Riis Nielson

doi:10.1007/978-3-030-91631-2_17

Benign Interaction of Security Domains

Flemming Nielson^*, René Rydhof Hansen, Hanne Riis Nielson

^*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

Abstract

Whenever data is communicated outside a security domain there is the risk that it may influence data coming back in a way that is not permitted by the security domain. This may arise when different security domains relate to different parallel processes that exchange information through communication. We provide general definitions of the demands on the communication and sanitisation primitives so as to mitigate the risk. For interesting instantiations of these definitions we provide algorithms for checking that the demands have been met. The development is illustrated by a worked example dealing with the outsourcing of data management to the cloud.

Original language	English
Title of host publication	Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
Editors	Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe
Number of pages	20
Publisher	Springer
Publication date	2021
Pages	312-331
ISBN (Electronic)	978-3-030-91631-2
DOIs	https://doi.org/10.1007/978-3-030-91631-2_17
Publication status	Published - 2021

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13066 LNCS
ISSN	0302-9743

Bibliographical note

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

Access to Document

10.1007/978-3-030-91631-2_17

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Nielson, Flemming ; Hansen, René Rydhof ; Nielson, Hanne Riis. / Benign Interaction of Security Domains. Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. editor / Daniel Dougherty ; José Meseguer ; Sebastian Alexander Mödersheim ; Paul Rowe. Springer, 2021. pp. 312-331 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13066 LNCS).

@inbook{398e9363559142bdb4fecd68bdf734d2,

title = "Benign Interaction of Security Domains",

abstract = "Whenever data is communicated outside a security domain there is the risk that it may influence data coming back in a way that is not permitted by the security domain. This may arise when different security domains relate to different parallel processes that exchange information through communication. We provide general definitions of the demands on the communication and sanitisation primitives so as to mitigate the risk. For interesting instantiations of these definitions we provide algorithms for checking that the demands have been met. The development is illustrated by a worked example dealing with the outsourcing of data management to the cloud.",

author = "Flemming Nielson and Hansen, {Ren{\'e} Rydhof} and Nielson, {Hanne Riis}",

note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.",

year = "2021",

doi = "10.1007/978-3-030-91631-2_17",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "312--331",

editor = "Daniel Dougherty and Meseguer, {Jos{\'e} } and M{\"o}dersheim, {Sebastian Alexander } and Paul Rowe",

booktitle = "Protocols, Strands, and Logic",

address = "Germany",

}

Nielson, F, Hansen, RR & Nielson, HR 2021, Benign Interaction of Security Domains. in D Dougherty, J Meseguer, SA Mödersheim & P Rowe (eds), Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13066 LNCS, pp. 312-331. https://doi.org/10.1007/978-3-030-91631-2_17

Benign Interaction of Security Domains. / Nielson, Flemming; Hansen, René Rydhof; Nielson, Hanne Riis.
Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. ed. / Daniel Dougherty; José Meseguer; Sebastian Alexander Mödersheim; Paul Rowe. Springer, 2021. p. 312-331 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13066 LNCS).

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

TY - CHAP

T1 - Benign Interaction of Security Domains

AU - Nielson, Flemming

AU - Hansen, René Rydhof

AU - Nielson, Hanne Riis

PY - 2021

Y1 - 2021

N2 - Whenever data is communicated outside a security domain there is the risk that it may influence data coming back in a way that is not permitted by the security domain. This may arise when different security domains relate to different parallel processes that exchange information through communication. We provide general definitions of the demands on the communication and sanitisation primitives so as to mitigate the risk. For interesting instantiations of these definitions we provide algorithms for checking that the demands have been met. The development is illustrated by a worked example dealing with the outsourcing of data management to the cloud.

AB - Whenever data is communicated outside a security domain there is the risk that it may influence data coming back in a way that is not permitted by the security domain. This may arise when different security domains relate to different parallel processes that exchange information through communication. We provide general definitions of the demands on the communication and sanitisation primitives so as to mitigate the risk. For interesting instantiations of these definitions we provide algorithms for checking that the demands have been met. The development is illustrated by a worked example dealing with the outsourcing of data management to the cloud.

UR - http://www.scopus.com/inward/record.url?scp=85119696636&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-91631-2_17

DO - 10.1007/978-3-030-91631-2_17

M3 - Book chapter

AN - SCOPUS:85119696636

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 312

EP - 331

BT - Protocols, Strands, and Logic

A2 - Dougherty, Daniel

A2 - Meseguer, José

A2 - Mödersheim, Sebastian Alexander

A2 - Rowe, Paul

PB - Springer

ER -

Nielson F, Hansen RR, Nielson HR. Benign Interaction of Security Domains. In Dougherty D, Meseguer J, Mödersheim SA, Rowe P, editors, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Springer. 2021. p. 312-331. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13066 LNCS). doi: 10.1007/978-3-030-91631-2_17

Benign Interaction of Security Domains

Abstract

Bibliographical note

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this