小组研究成果被USENIX会议Security 2025接收

清华大学软件系统安全保障小组研究成果 Finding Metadata Inconsistencies in Distributed File Systems via Cross-Node Operation Modeling被USENIX Security 2025接收。本研究针对分布式文件系统的元数据不一致问题进行高效检测，通过对文件I/O操作进行模型构建，挖掘并发操作负载之间的隐含关系。在测试执行过程中，通过计算系统一致性维护的时间，来对操作生成的过程进行引导，并不断更新并发负载关系表。该工具在CephFS、GlusterFS等分布式文件系统中发现10个未知的元数据不一致缺陷。与分布式系统测试工具Monarch，smallfile等工具相比，冲突处理部分代码的覆盖率可以提高20.29%-146.21%。该工作由博士后马福辰，博士生陈元亮，硕士生周远航和颜臻共同完成。

USENIX Security是计算机安全领域的顶级学术会议，也是中国计算机学会推荐的A类会议。会议汇聚了来自学术界和工业界的顶尖研究人员，探讨计算机安全领域的最新进展和实际应用。