Benign Interaction of Security Domains

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


Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review


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.

TitelProtocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
RedaktørerDaniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe
Antal sider20
ISBN (Elektronisk)978-3-030-91631-2
StatusUdgivet - 2021
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind13066 LNCS

Bibliografisk note

Funding Information:
Acknowledgement. The first author was supported in part by the EU H2020-SU-ICT-03-2018 Project No. 830929 CyberSec4Europe ( The first and second authors were supported in part by the Danish project Security by Design granted by The Danish Industry Foundation. The third author is retired from the Department of Mathematics and Computer Science, Technical University of Denmark, Kgs. Lyngby, Denmark.

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.


Dyk ned i forskningsemnerne om 'Benign Interaction of Security Domains'. Sammen danner de et unikt fingeraftryk.