Dissertação

{pt_PT=Dissertação: Storage data policy enforcement with a small and verified TCB / Verificação de Políticas de Acesso em Dispositivos de Armazenamento com Recurso a uma Base Computacional Confiável (TCB)} DRAFT

Orientação

ORIENTADOR

Pedro Miguel dos Santos Alves Madeira Adão

Departamento de Engenharia Informática (DEI)

Professor Auxiliar

ORIENTADOR

Rodrigo Seromenho Miragaia Rodrigues

Departamento de Engenharia Informática (DEI)

Professor Catedrático