Equivalence-preserving corrective enforcement of security properties

Raphaƫl Khoury, Nadia Tawbi. Equivalence-preserving corrective enforcement of security properties. IJICS, 7(2/3/4):113-139, 2015. [doi]

Abstract

Abstract is missing.