Title

Formalization Of Computer Input And Output: The Hadley Model

Keywords

Farmalization; Hadley model; I/O; Validation; Verifiability

Abstract

Current digital evidence acquisition tools are effective, but are tested rather than formally proven correct. We assert that the forensics community will benefit in evidentiary ways and the scientific community will benefit in practical ways by moving beyond simple testing of systems to a formal model. To this end, we present a hierarchical model of peripheral input to and output from von Neumann computers, patterned after the Open Systems Interconnection model of networking. The Hadley model categorizes all components of peripheral input and output in terms of data flow; with constructive aspects concentrated in the data flow between primary memory and the computer sides of peripherals' interfaces. The constructive domain of Hadley is eventually expandable to all areas of the I/O hierarchy, allowing for a full view of peripheral input and output and enhancing the forensics community's capabilities to analyze, obtain, and give evidentiary force to data. © 2004 Elsevier Ltd. All rights reserved.

Publication Date

1-1-2004

Publication Title

Digital Investigation

Volume

1

Issue

3

Number of Pages

214-224

Document Type

Article

Personal Identifier

scopus

DOI Link

https://doi.org/10.1016/j.diin.2004.07.001

Socpus ID

4544267383 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/4544267383

This document is currently not available here.

Share

COinS