Digital investigations are largely concerned with reconstructing past events based on traces in digital systems. Given their importance, many concepts have been established to describe their quality—most of them concerned with procedural aspects, i.e., authenticity and integrity, for example. Besides that, there exist principal concepts that have been overlooked in the past: Two of those criteria are relevance and expressiveness of digital evidence. Unlike others, those are directly concerned with reaching the investigative goal. Therefore, we approach these two overlooked concepts of digital evidence by giving formal definitions. To illustrate the usefulness, we present two applications: First, we demonstrate that the notions of expressiveness and completeness can be used to guide investigations by presenting the Facet-oriented Criminalistic Cycle as a thinking model, which extends the well-established criminalistic cycle. Second, we put the concepts into practice by calculating the expressiveness of facets from a state machine representation of a digital system utilizing temporal logic and a model checker. Furthermore, we sketch out the implications of this improved way of defining relevance and expressiveness. Accordingly, this article aims to improve the understanding of these critical aspects of the overall investigative process.

More from our Archive

• DOI: 10.3390/electronics12132857 2023

  Word-of-Mouth Engagement in Online Social Networks: Influence of Network Centrality and Density

  Bogdan Anastasiei, Nicoleta Dospinescu, Octavian Dospinescu

• DOI: 10.3390/systems11070329 2023

  Smarter and Prosperous: Digital Transformation and Enterprise Performance

  Da Gao, Zhiliang Yan, Xiaotian Zhou, Xinlin Mo

• DOI: 10.3390/systems11070351 2023

  Harnessing the Power of ChatGPT for Automating Systematic Review Process: Methodology, Case Study, Limitations, and Future Directions

  Ahmad Alshami, Moustafa Elsayed, Eslam Ali, Abdelrahman E. E. Eltoukhy, Tarek Zayed

• DOI: 10.3390/electronics12132921 2023

  Novel Heuristic Optimization Technique to Solve Economic Load Dispatch and Economic Emission Load Dispatch Problems

  Nagendra Singh, Tulika Chakrabarti, Prasun Chakrabarti, Martin Margala, Amit Gupta, S. Phani Praveen, Sivaneasan Bala Krishnan, Bhuvan Unhelkar

• DOI: 10.3390/systems11070336 2023

  Evaluation of Tourism Ecological Security and Its Driving Mechanism in the Yellow River Basin, China: Based on Open Systems Theory and DPSIR Model

  Xiaorong He, Chaoyue Cai, Jizhi Shi

• DOI: 10.1364/jocn.489228 2023

  Perspectives on and the road towards 100  Gb/s TDM PON with intensity-modulation and direct-detection

  Rene Bonk, Ed Harstead, Robert Borkowski, Vincent Houtsma, Yannick Lefevre, Amitkumar Mahadevan, Dora van Veen, Michiel Verplaetse, Sheldon Walklin

• DOI: 10.3390/electronics12143103 2023

  DDoS Attack Detection in IoT-Based Networks Using Machine Learning Models: A Survey and Research Directions

  Amal A. Alahmadi, Malak Aljabri, Fahd Alhaidari, Danyah J. Alharthi, Ghadi E. Rayani, Leena A. Marghalani, Ohoud B. Alotaibi, Shurooq A. Bajandouh

• DOI: 10.3390/computers12070141 2023

  A Deep Learning Network with Aggregation Residual Transformation for Human Activity Recognition Using Inertial and Stretch Sensors

  Sakorn Mekruksavanich, Anuchit Jitpattanakul

• DOI: 10.3390/systems11070348 2023

  Failure Mode and Effect Analysis with a Fuzzy Logic Approach

  José Jovani Cardiel-Ortega, Roberto Baeza-Serrato

• DOI: 10.3390/electronics12132984 2023

  DRL-Based Backbone SDN Control Methods in UAV-Assisted Networks for Computational Resource Efficiency

  Inseok Song, Prohim Tam, Seungwoo Kang, Seyha Ros, Seokhoon Kim