A Practical Alternative to Domain and Type Enforcement Integrity Formal Models
From MaRDI portal
Publication:5302948
DOI10.1007/11937807_18zbMath1172.68352OpenAlexW1597215399MaRDI QIDQ5302948
Publication date: 15 January 2009
Published in: Information Security and Cryptology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11937807_18
This page was built for publication: A Practical Alternative to Domain and Type Enforcement Integrity Formal Models