Eduardo Mazza. A Formal Framework for specifying and Analyzing Liabilities Using Log as Digital Evidence. (Un cadre formel pour spécifier et analyser les responsabilités, basé sur les logs comme preuve électronique). PhD thesis, Grenoble Alpes University, France, 2012. [doi]
Abstract is missing.