Dissertação

A declarative based tool for reasoning about Cisco IOS firewall configurations SUBMITTED

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

Orientação

ORIENTADOR

Carlos Nuno da Cruz Ribeiro

Departamento de Engenharia Electrotécnica e de Computadores (DEEC)

Professor Associado

ORIENTADOR

Pedro Miguel dos Santos Alves Madeira Adão

Departamento de Engenharia Informática (DEI)

Professor Auxiliar