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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.