该论文针对持久内存（Persistent Memory）这一新兴内存范式中的信息流安全（information flow security）问题展开研究。持久内存能够提升运行时效率并支持程序在断电或系统崩溃后恢复，但现有研究多聚焦于功能正确性验证，而信息流安全这一正交概念尚未得到充分探索。论文提出了一种面向无结构语言（即使用goto而非循环）的信息流逻辑，该语言模拟了简单的汇编语言。作者将该逻辑应用于x86汇编，并引入“重排序干扰自由（reordering interference freedom, rif）”的概念，以推理指令在乱序传播到内存时的潜在信息泄露。进一步地，论文展示了相同的rif概念可以用于推理持久内存上的信息流安全。实验部分（如有）未在摘要中详细说明，但该工作为持久内存系统的安全分析提供了理论基础。适合对持久内存、信息流安全、形式化方法感兴趣的研究人员阅读。