Modelling declassification policies using abstract domain completeness

Autores: Isabella Mastroeni, Anindya Banerjee
Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 21, Nº 6, 2011 (Ejemplar dedicado a: Programming language interference and dependence), págs. 1253-1299
Idioma: inglés
DOI: 10.1017/s096012951100020x
Texto completo no disponible (Saber más ...)