Dissertação

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

Documentos da dissertação ainda não disponíveis publicamente

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