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
Keywords :
formal verification , intransitivenoninterference , Observability , security policies. , Cryptographic protocols
Journal title :
IEEE Transactions on Automatic Control
Journal title :
IEEE Transactions on Automatic Control
