A lattice model of secure information flow
From MaRDI portal
Publication:4085248
DOI10.1145/360051.360056zbMath0322.68034WikidataQ29308066 ScholiaQ29308066MaRDI QIDQ4085248
Publication date: 1976
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/360051.360056
68W30: Symbolic computation and algebraic computation
68Q45: Formal languages and automata
68N01: General topics in the theory of software
68W99: Algorithms in computer science
Related Items