The Duality of Information Flow: Reconciling Robust Downgrading with Non-Interference
该论文探讨了程序安全中非干扰属性（non-interference）与信息降级（downgrading）之间的经典矛盾。非干扰是机密性和完整性的最高安全保证，但严格的非干扰会阻止大多数实际程序完成其功能，因为它们需要泄露或修改信息。传统方法
#type-systems
共收录 1 条相关情报。
← 返回所有主题共收录 1 条相关情报。
← 返回所有主题该论文探讨了程序安全中非干扰属性（non-interference）与信息降级（downgrading）之间的经典矛盾。非干扰是机密性和完整性的最高安全保证，但严格的非干扰会阻止大多数实际程序完成其功能，因为它们需要泄露或修改信息。传统方法