ガロア接続を用いた動的秘密情報の管理 (I)

As the part I of the presentation, we introduce concept of the lattice, the technology called formal concept analysis (FCA) and show their relation with the system security models. FCA is an application of the lattice theory and has been proposed as a method for the knowledge analysis. The basis of FCA is the Galois connection in the lattice theory, which derives a lattice from a context table. In the system security area, the lattice theory also plays important roles. One of the classical facts is that any secure information flow systems from lattices. It was explained in an axiomatic argument on property of secure information flow. In this presentation, we show this classical result by applying FCA to an access control table derived from a security policy