Active block hashing for efficient integrity verification of modern storage media and their forensic duplicates

IF 3.1 4区 医学 Q3 COMPUTER SCIENCE, INFORMATION SYSTEMS
Jan Gruber, Felix Freiling, Simson L. Garfinkel
{"title":"Active block hashing for efficient integrity verification of modern storage media and their forensic duplicates","authors":"Jan Gruber,&nbsp;Felix Freiling,&nbsp;Simson L. Garfinkel","doi":"10.1016/j.fsidi.2026.302193","DOIUrl":null,"url":null,"abstract":"<div><div>Verifying evidential integrity through hashing underpins the chain of custody in digital forensics, yet modern storage technologies create complications because devices no longer reliably retain stale data. Sequential bitwise hashing is computationally expensive and sensitive to block-level changes caused by TRIM/Deallocate/Unmap operations on flash-based storage, where the controller silently alters blocks once they are deallocated; file hashing avoids this but is incomplete since it excludes relevant file system (FS) metadata. This article introduces <em>tree-based active block hashing</em>, a deterministic hashing scheme that leverages file system semantics to protect the integrity of active blocks. These data blocks are organized into a Merkle tree that remains invariant to TRIM-induced changes and, rather than merely signaling that verification failed, localizes modifications, including those affecting file system metadata, enabling examiners to pinpoint affected blocks, assess their evidential impact, and perform partial integrity verification. We formalize the construction, define activation functions for FAT, NTFS, and ext file systems, and present an open-source implementation. An empirical evaluation on solid-state drives with varying file systems and fill levels shows that active block hashing outperforms sequential bitwise hashing on partially filled media and remains competitive with FS parser-mediated file hashing while offering broader integrity coverage. Limitations arise for highly filled media and in the presence of file system corruption, indicating that the approach complements existing modification detection methods, as it characterizes a trade-off between integrity protection, computational efficiency, and granularity of integrity verification.</div></div>","PeriodicalId":48481,"journal":{"name":"Forensic Science International-Digital Investigation","volume":"58 ","pages":"Article 302193"},"PeriodicalIF":3.1000,"publicationDate":"2026-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Forensic Science International-Digital Investigation","FirstCategoryId":"3","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S2666281726001502","RegionNum":4,"RegionCategory":"医学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2026/10/10 0:00:00","PubModel":"Epub","JCR":"Q3","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0

Abstract

Verifying evidential integrity through hashing underpins the chain of custody in digital forensics, yet modern storage technologies create complications because devices no longer reliably retain stale data. Sequential bitwise hashing is computationally expensive and sensitive to block-level changes caused by TRIM/Deallocate/Unmap operations on flash-based storage, where the controller silently alters blocks once they are deallocated; file hashing avoids this but is incomplete since it excludes relevant file system (FS) metadata. This article introduces tree-based active block hashing, a deterministic hashing scheme that leverages file system semantics to protect the integrity of active blocks. These data blocks are organized into a Merkle tree that remains invariant to TRIM-induced changes and, rather than merely signaling that verification failed, localizes modifications, including those affecting file system metadata, enabling examiners to pinpoint affected blocks, assess their evidential impact, and perform partial integrity verification. We formalize the construction, define activation functions for FAT, NTFS, and ext file systems, and present an open-source implementation. An empirical evaluation on solid-state drives with varying file systems and fill levels shows that active block hashing outperforms sequential bitwise hashing on partially filled media and remains competitive with FS parser-mediated file hashing while offering broader integrity coverage. Limitations arise for highly filled media and in the presence of file system corruption, indicating that the approach complements existing modification detection methods, as it characterizes a trade-off between integrity protection, computational efficiency, and granularity of integrity verification.
用于现代存储介质及其法医副本的有效完整性验证的活动块散列
通过散列验证证据的完整性是数字取证监管链的基础,但现代存储技术造成了复杂性,因为设备不再可靠地保留过时的数据。顺序的按位散列在计算上是昂贵的,并且对基于闪存的存储上由TRIM/Deallocate/Unmap操作引起的块级更改敏感,其中控制器一旦被释放就会默默地改变块;文件散列可以避免这种情况,但它是不完整的,因为它排除了相关的文件系统(FS)元数据。本文介绍了基于树的活动块散列,这是一种确定性散列方案,它利用文件系统语义来保护活动块的完整性。这些数据块被组织到一个Merkle树中,该树对trim引起的更改保持不变,并且不仅仅表明验证失败,还将修改本地化,包括那些影响文件系统元数据的修改,使检查人员能够查明受影响的块,评估其证据影响,并执行部分完整性验证。我们将构造形式化,定义FAT、NTFS和ext文件系统的激活函数,并给出一个开源实现。对具有不同文件系统和填充级别的固态驱动器的经验评估表明,活动块哈希在部分填充的媒体上优于顺序按位哈希,并且在提供更广泛的完整性覆盖的同时,与FS解析器介导的文件哈希保持竞争。对于高度填充的媒体和存在文件系统损坏的情况,会出现限制,这表明该方法是对现有修改检测方法的补充,因为它在完整性保护、计算效率和完整性验证粒度之间进行了权衡。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
CiteScore
5.90
自引率
15.00%
发文量
87
审稿时长
76 days
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书