Title :
Formalizing Computer Forensic Analysis: A Proof-Based Methodology
Author :
Dr. Peng Ning استاد مشاور , Mladen A. Vouk استاد مشاور , Jun Xu استاد راهنما
University :
Virginia Polytechnic Institute and state University
Major :
Master of Science )Computer Science(
Keyword :
Methodology , incident response , computer forensics , proof , analysis