Banca de DEFESA: ABRAÃO AIRES URQUIZA DE CARVALHO

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: ABRAÃO AIRES URQUIZA DE CARVALHO
DATA: 31/01/2020
HORA: 10:00
LOCAL: Centro de Informática
TÍTULO: Utilização de traços simbólicos e SMT solvers para verificação de equivalência observacional
PALAVRAS-CHAVES: Métodos Formais Segurança
PÁGINAS: 105
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
RESUMO: Atacantes e usuários maliciosos em redes de computadores podem usar uma série de técnicas para obter informação sensível. Dentre elas, a utilização do tempo e da assinatura do tráfego de pacotes como canal lateral abre várias brechas de segurança.A verificação automática desses ataques, no entanto, não consistem apenas nas técnicas convencionais de propriedades baseadas em alcançabilidade. Isso se deve porque o ataque não possui uma configuração intrinsecamente ruim, como um estado em que um intruso possua um segredo. O ataque existe quando uma determinada configuração apresente um comportamento que outra configuração distinta não possua, possibilitando distinguir uma da outra. Esse trabalho oferece uma definição formal de equivalência observacional no âmbito do tempo e da análise de tráfego, baseada em equivalência de traços simbólicos. Além disso, implementa alguns exemplos discutidos como prova de conceito.
MEMBROS DA BANCA:
Interno - 2126491 - GUSTAVO HENRIQUE MATOS BEZERRA MOTTA
Interno - 1545175 - IGUATEMI EDUARDO DA FONSECA
Interno - 1971457 - VIVEK NIGAM
Externo ao Programa - 2798885 - ANDREI DE ARAUJO FORMIGA
Externo à Instituição - CARLOS OLARTE