Forum Informatica Unict

LAUREA MAGISTRALE => Computer Security, 9 CFU => Topic started by: Giampaolo Bella on 15-04-2014, 12:34:35



Title: Denis Butin (INRIA France): Log Analysis for Data Protection Accountability
Post by: Giampaolo Bella on 15-04-2014, 12:34:35
Il 23 aprile ore 11 in aula 2, il Denis Butin, post-doc presso INRIA France,  terra' un seminario dal titolo in oggetto, col seguente abstract:

Accountability is increasingly recognised as a cornerstone of data protection, notably in European regulation, but the term is frequently used in a vague sense. For accountability to bring tangible benefits, the expected properties of personal data handling logs (used as "accounts") and the assumptions regarding the logging process must be defined with accuracy. In this paper, we provide a formal framework for accountability and show the correctness of the log analysis with respect to
abstract traces used to specify privacy policies. We also show that compliance with respect to data protection policies can be checked based on logs free of personal data, and describe the integration of our formal framework in a global accountability process.

Sara' meglio della lezione!   .sisi


Title: Re:Denis Butin (INRIA France): Log Analysis for Data Protection Accountability
Post by: Giampaolo Bella on 22-04-2014, 17:55:11
Il seminario e' posticipato di 4 ore: 23 aprile ore 15:00 aula 4.