Corpus ID: 17243746

Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method

@article{Gladyshev2007RigorousDO,
  title={Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method},
  author={P. Gladyshev and Andreas Enbacka},
  journal={Int. J. Digit. EVid.},
  year={2007},
  volume={6}
}
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts as indicators of suspicious activity. This paper describes a rigorous methodology for developing such inconsistency checks and verifying their correctness. It is based on the use of the B Method – a formal method of software development. The idea of the methodology is to (1) formulate a state-machine model of the (sub… Expand
14 Citations
Modelling and refinement of forensic data acquisition specifications
  • B. Aziz
  • Computer Science
  • Digit. Investig.
  • 2014
  • 8
  • PDF
A formal model for forensic storage media preparation tools
  • PDF
A Consistency Study of the Windows Registry
  • 5
  • PDF
Liability issues in software engineering
  • 9
Liability in software engineering: overview of the LISE approach and illustration on a case study
  • 16
  • PDF
Characterizing the Limitations of Forensic Event Reconstruction Based on Log Files
  • Tobias Latzo, F. Freiling
  • Computer Science
  • 2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE)
  • 2019
  • 1
Formalization of digital forensic theory by using Buchi Automaton
  • S. Jalan, P. Kumar, S. Das
  • Computer Science
  • 2015 Third International Conference on Image Information Processing (ICIIP)
  • 2015
  • 2
Designing Log Architectures for Legal Evidence
  • 14
  • PDF
...
1
2
...

References

SHOWING 1-10 OF 18 REFERENCES
A Formalization of Digital Forensics
  • 68
  • PDF
ProB: A Model Checker for B
  • 580
  • PDF
Programming from specifications
  • Carroll Morgan
  • Computer Science
  • Prentice Hall International Series in computer science
  • 1990
  • 1,343
The B-method - an introduction
  • 178
Météor: A Successful Application of B in a Large Project
  • 300
  • PDF
The B-book - assigning programs to meanings
  • 2,887
User and Reference Manuals, Aix-en-Provence, France
  • User and Reference Manuals, Aix-en-Provence, France
  • 2001
AusCERT) (2002) Alert AA- 2002.03 File-Sharing Activity Part 2 of 2 -Increased intruder attacks against servers to expand illegal file sharing networks
  • AusCERT) (2002) Alert AA- 2002.03 File-Sharing Activity Part 2 of 2 -Increased intruder attacks against servers to expand illegal file sharing networks
  • 2007
Event-B Language, RODIN (Rigorous Open Development Environment for Complex Systems) Project IST-511599
  • Deliverable 3.2. Retrieved March
  • 2005
...
1
2
...