The order-theoretical foundation for data flow security

arXiv:2403.07226v1 Announce Type: new
Abstract: Some theories on data flow security are based on order-theoretical concepts, most commonly on lattice concepts. This paper presents a correspondence between security concepts and partial order concepts, by which the former become an application of the latter. The formalization involves concepts of data flow, equivalence classes of entities that can access the same data, and labels. Efficient, well-known algorithms to obtain one of these from one of the others are presented. Security concepts such …

application arxiv concepts cs.cr data flow flow security foundation order partial security security concepts