Text this: Formalization in digital forensic triage for identification of malicious IoT devices