Attacker Control and Impact for Confidentiality and Integrity

DOI10.2168/LMCS-7(3:17)2011zbMath1237.68055arXiv1107.5594OpenAlexW3102410487MaRDI QIDQ3224683

Aslan Askarov, Andrew C. Myers

Publication date: 2 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

robustnessconfidentialitynoninterferenceinformation flowintegritysecurity policiesdowngradingsecurity type systemdeclassificationendorsement

Mathematics Subject Classification ID

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

Related Items (1)

CoCon: a conference management system with formally verified document confidentiality

Uses Software

• Jif
• JFlow

This page was built for publication: Attacker Control and Impact for Confidentiality and Integrity