Events

11 December 2008

Nataliya Guts gives seminar on Auditability, Evidence, and Out-of-Context Proofs

Thursday 11 December 2008, 14h, batiment I, 1st floor

Auditability, Evidence, and Out-of-Context Proofs
Nataliya Guts
MSR-INRIA Joint Centre

An ambitious challenge for today’s software is to show that audit trails can be a posteriori reliably checked against the intended audit goals by an independent auditor. We propose a formal definition of auditability, and we sketch its automated verification by type checking. Running examples will motivate and justify our setup