一句话：提出快速流敏感 C 程序划分方法，通过迭代值流精化按安全策略实施最小权限。
软件漏洞常导致机密数据泄露；当非特权代码与特权代码共享内存时，前者的缺陷也可能暴露特权数据。为缓解该问题，论文提出对 C 程序进行程序划分：依据安全策略将单体程序拆分为若干组件，并遵循最小权限原则，使每个组件仅拥有完成其功能所需的最小权限。方法核心是快速、流敏感的划分，通过迭代值流精化来分析程序中的数据依赖与共享关系，从而指导组件边界与权限分配。摘要未报告具体实验评估，但该工作面向在安全策略约束下自动实现 C 程序的最小权限分解，以降低因内存共享导致的机密数据暴露风险。
Software vulnerabilities that expose confidential data remain a persistent threat. Even vulnerabilities in unprivileged code can expose data in privileged code when they share memory. Program partitioning safeguards against this by dividing a monolithic program into component programs according to a security policy for sharing confidential data, following the Principle of Least Privilege: each component of a system should operate with minimum privileges.