Título : Tipos para seguridad basada en flujo de información y computación auditada
Types for security based-on information flow and audited computation
Editorial : Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires
Fecha de publicación : 2012
metadata.dc.source.uri: http://digital.bl.fcen.uba.ar/gsdl-282/cgi-bin/library.cgi?a=d&c=tesis&d=Tesis_5169_Bavera
URI : http://10.0.0.11:8080/jspui/handle/bnmm/74777
Aparece en las colecciones: FCEN - Facultad de Ciencias Exactas y Naturales. UBA

Ficheros en este ítem:
No hay ficheros asociados a este ítem.