The order-theoretical foundation for data flow security

本文介绍了一种基于偏序概念的数据流安全性理论，其中最常用的是格概念。通过该理论，安全性概念成为了偏序概念的一个应用。该形式化过程涉及数据流概念、可以访问相同数据的实体等价类和标签。文章提出了高效且广为人知的算法，可以从其中一个概念中获得另一个概念。安全性概念，如保密性、完整性和冲突，可以用这种理论来表达。此外，文章还表明，用于表达安全级别的复杂元组标签可以被转换为等效的集合标签。一个结果是，任何网络的数据流或访问控制关系都可以通过为实体分配简单的集合标签来定义。最后，文章展示了当不同的数据流必须共存时，如何将多个偏序组合起来。

将安全概念与偏序概念相对应，以实现数据流安全性的形式化表示和计算。

将数据流、实体等价类和标签等概念映射到偏序概念上，以实现对安全性的表达和计算。

论文提出了高效的算法来获取数据流、实体等价类和标签等概念之间的转换关系。同时，论文还将复杂的元组标签转化为等价的集合标签，简化了实现数据流和访问控制关系的过程。

近期的相关研究包括《基于机器学习的数据流安全性研究》、《基于图神经网络的数据流安全性分析》等。