Automated Analysis for Digital Forensic Science: Semantic Integrity Checking

  title={Automated Analysis for Digital Forensic Science: Semantic Integrity Checking},
  author={Tye Stallard and Karl N. Levitt},
When computer security violations are detected, computer forensic analysts attempting to determine the relevant causes and effects are forced to perform the tedious tasks of finding and preserving useful clues in large networks of operational machines. To augment a computer crime investigator’s efforts, the approach presented in this paper is an expert system with a decision tree that uses predetermined invariant relationships between redundant digital objects to detect semantic incongruities… CONTINUE READING
Highly Cited
This paper has 80 citations. REVIEW CITATIONS
51 Citations
14 References
Similar Papers


Publications citing this paper.

80 Citations

Citations per Year
Semantic Scholar estimates that this publication has 80 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 14 references

Jess, The Rule System for the Java Platform

  • E. J. Friedman-Hill
  • Technical report, Sandia National Laboratories…
  • 2002
Highly Influential
10 Excerpts

The Coroner’s Toolkit

  • D. Farmer, W. Venema
  • Online,
  • 1999
Highly Influential
5 Excerpts

DERBI: Diagnosis, Explanation and Recovery from computer Break-Ins

  • D.W.M. Tyson
  • Cited 1 June 2003 derbi/,
  • 2000
Highly Influential
3 Excerpts

Computer Security: Art and Science, pages 439– 472

  • M. Bishop
  • Pearson Education, Inc.,
  • 2003
1 Excerpt

chkrootkit v

  • N. Murilo, K. Steding-Jessen
  • 0.37. Technical report, Pangeia Informatica LTDA…
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…