Paralocks

DOI10.1145/1706299.1706349zbMath1312.68054OpenAlexW1966354044MaRDI QIDQ5255100

David Sands, Niklas Broberg

Publication date: 11 June 2015

Published in: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1706299.1706349

zbMATH Keywords

information flowsecurity policieslanguage-based security

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Model Checking Information Flow in Reactive Systems ⋮ Scheduler-Independent Declassification ⋮ Hoare Logic for Disjunctive Information Flow ⋮ Information flow control in software DB units based on formal verification ⋮ Content dependent information flow control

Uses Software

• Paragon

This page was built for publication: Paralocks