A Practical Alternative to Domain and Type Enforcement Integrity Formal Models.

Liuying Tang Sihan Qing A Practical Alternative to Domain and Type Enforcement Integrity Formal Models. 225-237 2006 conf/cisc/2006 Inscrypt http://dx.doi.org/10.1007/11937807_18 db/conf/cisc/inscrypt2006.html#TangQ06