Dissertação

Information Flow Security with Encryption EVALUATED

Nesta dissertação propomos um sistema de tipos que garante a segurança computacional de um protocolo de Ping-Pong contra ataques de eavesdropping e de adversário Byzantine. É feita uma breve introdução teórica ao modelo de Dolev-Yao e a sistemas de tipos como ferramenta para demonstrar a propriedade de não-interferência. Revemos ainda alguns resultados sobre o problema da segurança de protocolos numa rede de Dolev-Yao. Apresentamos também o conceito de máquina de Turing interactiva e introduzimos um novo modelo formal para um sistema constituído por várias máquinas interactivas. Finalmente, demonstramos que um protocolo de comunicação de tipo Ping-Pong é seguro contra um ataque de eavesdropper e que, acrescentando um sistema de assinaturas digital adequado, é igualmente seguro contra um possível ataque de adversário Byzantine.
sistemas de tipos, modelo de Dolev-Yao, máquina de Turing interactiva, protocolos de Ping-Pong, ataque de eavesdropping, ataque de adversário Byzantine

Julho 27, 2018, 15:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

Pedro Miguel dos Santos Alves Madeira Adão

Departamento de Engenharia Informática (DEI)

Professor Auxiliar

ORIENTADOR

Paulo Alexandre Carreira Mateus

Departamento de Matemática (DM)

Professor Associado