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.
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
