Benign interaction of security domains

DOI10.1007/978-3-030-91631-2_17zbMath1498.68055OpenAlexW4206761470MaRDI QIDQ2154018

René Rydhof Hansen, Hanne Riis Nielson, Flemming 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)

Cites Work

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

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