| Autor: |
Amyot, Daniel, Williams, Alan W., Hélouët, Loic |
| Zdroj: |
System Analysis & Modeling; 2005, p189-207, 19p |
| Abstrakt: |
Covert channels are illegal information flows in systems. Recent research has shown how to detect covert channels in scenario descriptions. This paper recalls these results, and proposes a case study illustrating how scenarios can be used to detect illegal information flows from a scenario description of a protocol. Once a covert information flow is discovered, its bandwidth is computed using the (max, +) algebra. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
