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