Downgrading policies and relaxed noninterference

DOI10.1145/1040305.1040319zbMath1369.68146OpenAlexW2110904621MaRDI QIDQ5276143

Steve Zdancewic, Peng Li

Publication date: 14 July 2017

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

Full work available at URL: https://repository.upenn.edu/cis_papers/583

zbMATH Keywords

information flowprogram equivalencelanguage-based securitydowngrading policiesrelaxed noninterference

Mathematics Subject Classification ID

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

Related Items (6)

Automated enforcement for relaxed information release with reference points ⋮ Scheduler-Independent Declassification ⋮ Unnamed Item ⋮ Output-sensitive information flow analysis ⋮ Typing access control and secure information flow in sessions ⋮ What You Lose is What You Leak: Information Leakage in Declassification Policies

This page was built for publication: Downgrading policies and relaxed noninterference