Title of article
Characterizing Intransitive Noninterference for 3-Domain Security Policies With Observability
Author/Authors
N. B. Hadj-Alouane ، نويسنده , , S. Lafrance ، نويسنده , , F. Lin، نويسنده , , J. Mullins، نويسنده , , and M. Yeddes، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
6
From page
920
To page
925
Keywords
formal verification , intransitivenoninterference , Observability , security policies. , Cryptographic protocols
Journal title
IEEE Transactions on Automatic Control
Serial Year
2005
Journal title
IEEE Transactions on Automatic Control
Record number
386714
Link To Document