Secure information flow connections

DOI10.1016/j.jlamp.2022.100761OpenAlexW3104680556MaRDI QIDQ2141283

Chandrika Bhardwaj, Sanjiva Prasad

Publication date: 25 May 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

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

zbMATH Keywords

noninterferencesecurity typessecure information flowLagois connectioncomposition and decompositiondecentralised label model

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

Preface to the special issue on the 12th workshop on programming language approaches to concurrency and communication-centric software (PLACES) 2020

Uses Software

• JFlow
• Laminar

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
• Certification of programs for secure information flow
• Combining Symbolic and Numerical Domains for Information Leakage Analysis
• Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications
• Space-Efficient Data Structures for Lattices
• Connections

This page was built for publication: Secure information flow connections