该论文探讨了程序安全中非干扰属性（non-interference）与信息降级（downgrading）之间的经典矛盾。非干扰是机密性和完整性的最高安全保证，但严格的非干扰会阻止大多数实际程序完成其功能，因为它们需要泄露或修改信息。传统方法将类型系统按机密性和完整性分为两条独立路径，带来重复的推理机制和复杂的规范。此外，降级机制往往打破抽象边界，损害模块化推理。作者引入参数化信息流（parametric information flow），基于模态类型理论的最新进展，特别是开放模态（open modality）和封闭模态（closed modality）的丰富交互。关键洞察是：这两种模态的联合作用足以重构全谱信息流推理，形成统一框架同时处理机密性和完整性。该框架在不扩展理论的前提下，恢复了降级机制以及鲁棒去分类（robust declassification）等高级推理工具的类似物，加强了先前的结果。通过二元逻辑关系参数证明非干扰，将鲁棒性实现为由模态中介的普通2-超性质。工作表明，先进的降级机制与抽象、模块化的机制完全兼容，并且后者在完全强度的非干扰下自然产生。适合对类型系统、信息流控制、程序验证和语言安全感兴趣的研究人员阅读。