Secure Guarded Commands

DOI10.1007/978-3-030-41103-9_7zbMath1440.68036OpenAlexW3006221971MaRDI QIDQ3297842

Flemming Nielson, Hanne Riis Nielson

Publication date: 20 July 2020

Published in: From Lambda Calculus to Cybersecurity Through Program Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-41103-9_7

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Computer security (68M25)

Related Items (1)

Benign interaction of security domains

Uses Software

• z3
• KLAIM

Cites Work

• Unnamed Item
• Content dependent information flow control
• Semantics with applications: an appetizer.
• From flow logic to static type systems for coordination languages
• Static analysis for proactive security
• Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows
• Guarded commands, nondeterminacy and formal derivation of programs
• A lattice model of secure information flow
• Certification of programs for secure information flow
• Information Flow for Timed Automata
• Lightweight information flow

This page was built for publication: Secure Guarded Commands