검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Modifying Security Policies for the Satisfaction of Intransitive Non-Interference Yeddes M, Lin F, Ben Hadj-Alouane N IEEE Transactions on Automatic Control, 54(8), 1961, 2009 |
| 2 |
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 |