Secure Diagnostics And Forensics With Network Provenance