J. Millen. 20 years of covert channel modeling and analysis. In IEEE Symposium on Security and Privacy, 1999.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....form of noninterference called non deducibility on composition may be used to model also other security properties like authenticity , non repudiation and fairness. Noninterference thus appears as a rather interesting notion to study when security is concerned. On the other hand, it may be argued [10] that covert channels, that is implicit information ows, are unavoidable in practice, as they can arise also at the hardware level. Thus the aim of statically ensuring the absence of covert channels might be a hard one to realise. We certainly do not claim here to cover the whole range of ....

J. Millen. 20 years of covert channel modeling and analysis. In IEEE Symposium on Security and Privacy, 1999.

....noninterference called non deducibility on composition may be used to model also other security properties like authenticity , non repudiation and fairness. Noninterference thus appears as a rather interesting notion to study when security is concerned. On the other hand, 18 it may be argued [7] that covert channels, that is implicit information AEows of the kind considered here, are unavoidable in practice, as they can arise also at the hardware level. Thus the aim of statically ensuring the absence of covert channels might be a hard one to realise. We certainly do not claim here to ....

J. Millen. 20 years of covert channel modeling and analysis. In IEEE Symposium on Security and Privacy, 1999.

No context found.

J. Millen. 20 years of covert channel modeling and analysis. In IEEE Symposium on Security and Privacy, 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC