검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Characterizing intransitive noninterference for 3-domain security policies with observability Ben Hadj-Alouane N, Lafrance S, Lin F, Mullins J, Yeddes M IEEE Transactions on Automatic Control, 50(6), 920, 2005 |
| No. | Article |
|---|---|
| 1 |
Characterizing intransitive noninterference for 3-domain security policies with observability Ben Hadj-Alouane N, Lafrance S, Lin F, Mullins J, Yeddes M IEEE Transactions on Automatic Control, 50(6), 920, 2005 |