Digital Forensics: Validation of Network Artifacts Based on Stochastic and Probabilistic Modeling of Internal Consistency of Artifacts