Only connect, securely

DOI10.1007/978-3-030-21759-4_5arXiv1903.02835MaRDI QIDQ6190180

Chandrika Bhardwaj, Sanjiva Prasad

Publication date: 6 February 2024

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1903.02835

zbMATH Keywords

atomic operationsnon-interferenceinformation flowLagois connectionsecurity class lattice

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (1)

Benign interaction of security domains

Cites Work

• Unnamed Item
• Lagois connections -- a counterpart to Galois connections
• Dependent Information Flow Types
• Secure Information Flow as a Safety Property
• A lattice model of secure information flow
• Combining Symbolic and Numerical Domains for Information Leakage Analysis
• Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications

This page was built for publication: Only connect, securely