Benign interaction of security domains

DOI10.1007/978-3-030-91631-2_17MaRDI QIDQ2154018zbMATH OpenOpenAlexFDO

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

Publication date 13 July 2022

Full work available at URL https://doi.org/10.1007/978-3-030-91631-2_17

Mathematics Subject Classification ID

Computer security (68M25)

Recommendations

• Cross-domain secure computation
• Preserving privacy in data outsourcing. Foreword by Pierangela Samarati
• scientific article; zbMATH DE number 1304002
• On reductions from multi-domain noninterference to the two-level case
• Security boundaries in mobile ambients

Cites work

• Guarded commands, nondeterminacy and formal derivation of programs
• Lightweight information flow
• Only connect, securely
• Secure guarded commands

Cited in

(1)

• Interdependent security

This page was built for publication: Benign interaction of security domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2154018)