Dissertação

Dynamic probabilistic epistemic logic: towards information security EVALUATED

Pretendemos estudar na literatura uma lógica que permita raciocinar sobre aspectos relevantes em segurança de informação. Tipicamente num problema de segurança precisamos de raciocinar sobre o conhecimento do intruso, a incerteza associada à distribuição dos objectos desconhecidos e ainda sobre actualizações de informação. A lógica dinâmica probabilistica e epistémica parece cobrir todos estes requisitos e impõe-se suficientemente expressiva para modelar situações simples mas pertinentes em segurança. Neste texto faremos uma revisão da lógica dinâmica probabilistica e epistémica e culminamos com a aplicação desta lógica a duas situações simples mas bastante significativas em segurança de informação. A primeira aplicação surge no âmbito da criptanálise e baseia-se na descoberta de um segredo por parte de um atacante que tem a capacidade de interagir com o sistema. O segundo problema prende-se com os conhecidos chosen-plaintext attack e chosen-chiphertext attack e desenvolve-se em torno da importante noção de indistinguibilidade computacional. A lógica dinâmica probabilistica epistémica prova ser importante no contexto da segurança de informação, apresentando potencialidades para no futuro ser a base da correcção de alguns protocolos em segurança.
lógica modal, lógica epistémica, lógica probabilistica epistémica, lógica dinâmica probabilistica epistémica, segurança de informação, indistinguibilidade computacional.

Dezembro 15, 2011, 15:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

Carlos Manuel Costa Lourenço Caleiro

Departamento de Matemática (DM)

Professor Associado