Sala P3.10, Pavilhão de Matemática

Andreia Mordido,  
Lógica em segurança de informação

Num mundo repleto de comunicação e comércio electrónico, a segurança de informação é uma preocupação fundamental. Tipicamente, num problema de segurança precisamos de raciocinar sobre o conhecimento do intruso, a incerteza associada ao segredo que se pretende descobrir e ainda sobre actualizações de informação. Através de um exemplo, vamos constatar que a lógica dinâmica probabilistica e epistémica cobre todos estes requisitos.