Attacker Control and Impact for Confidentiality and Integrity
From MaRDI portal
Publication:3224683
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
robustnessconfidentialitynoninterferenceinformation flowintegritysecurity policiesdowngradingsecurity type systemdeclassificationendorsement
Cryptography (94A60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Uses Software
This page was built for publication: Attacker Control and Impact for Confidentiality and Integrity