Logical Channel Theory

摘要

The theory of prime constraints and its application to security analysis is reviewed, and some examples are given. Different examples illustrate different advantages of the prime constraint approach over previous methods: the ability to recognize the safety of a case of downgrading; the ability to handle non deterministically specified systems; and the ability to avoid assigning security levels to hidden variables. Pcgraph and related tools developed in FY79 were used for the computations in examples. (Author)