A Semantic Framework for Declassification and Endorsement
From MaRDI portal
Publication:3558216
DOI10.1007/978-3-642-11957-6_5zbMath1260.68049OpenAlexW1497744324MaRDI QIDQ3558216
Andrew C. Myers, Aslan Askarov
Publication date: 4 May 2010
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_5
Cryptography (94A60) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Authentication, digital signatures and secret sharing (94A62)
Related Items
Model Checking Information Flow in Reactive Systems ⋮ Compiling Information-Flow Security to Minimal Trusted Computing Bases