| 作成者 |
|
| 本文言語 |
|
| 出版者 |
|
|
|
| 発行日 |
|
| 収録物名 |
|
| 巻 |
|
| 開始ページ |
|
| 終了ページ |
|
| 出版タイプ |
|
| アクセス権 |
|
| 関連DOI |
|
|
|
| 関連URI |
|
|
|
| 関連情報 |
|
|
|
| 概要 |
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 applicati...on 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.続きを見る
|
Mendeley出力
