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)

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.