Specifying digital forensics: A forensics policy approach
Journal Article
·
· Digital Investigation, 4(Supplement 1):S101-S104
In this paper we present an approach to digital forensics specification based on forensic policy definition. Our methodology borrows from computer security policy specification, which has accumulated a significant body of research over the past 30 years. We first define the process of specifying forensics properties through a forensics policy and then present an example application of the process. This approach lends itself to formal policy specification and verification, which would allow for more clarity and less ambiguity in the specification process
- Research Organization:
- Pacific Northwest National Lab. (PNNL), Richland, WA (United States)
- Sponsoring Organization:
- USDOE
- DOE Contract Number:
- AC05-76RL01830
- OSTI ID:
- 983738
- Report Number(s):
- PNNL-SA-61479; TRN: US201014%%725
- Journal Information:
- Digital Investigation, 4(Supplement 1):S101-S104, Vol. 4, Issue 1
- Country of Publication:
- United States
- Language:
- English
Similar Records
Tools, Techniques, and Methodologies: A Survey of Digital Forensics for SCADA Systems
U.S. and Russian Collaboration in the Area of Nuclear Forensics
OpenBuildingControl: Digitizing the control delivery from building energy modeling to specification, implementation and formal verification
Conference
·
Sat Dec 01 00:00:00 EST 2018
·
OSTI ID:983738
+2 more
U.S. and Russian Collaboration in the Area of Nuclear Forensics
Conference
·
Mon Oct 22 00:00:00 EDT 2007
·
OSTI ID:983738
OpenBuildingControl: Digitizing the control delivery from building energy modeling to specification, implementation and formal verification
Journal Article
·
Sat Jan 01 00:00:00 EST 2022
· Energy
·
OSTI ID:983738
+6 more