Abstract | ||
---|---|---|
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studies of information flow analysis were performed by abstracting away from time and probability. It is already known that systems that are considered to be secure may turn out to be insecure when time or probability are considered. Recently, work has been done in order to consider also aspects either of time or of probability, but not both. In this paper we propose a general framework, based on Probabilistic Timed Automata, where both probabilistic and timing covert channels can be studied. We define a Non-Interference security property that allows one to express information flow in a timed and probabilistic setting, and we compare the property with analogous properties defined in settings where either time or probability or none of them are taken into account. This allows to classify properties depending on their discerning power. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1016/j.entcs.2005.10.038 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
non-interference security property,information flow analysis,probability dependent security properties,analogous property,covert channel,information flow,probabilistic timed automata,timing covert channel,non-interference,probabilistic setting,discerning power,covert channels,unwanted indirect information flow | Information flow (information theory),Multilevel systems,Computer science,Automaton,Covert channel,Theoretical computer science,Security properties,Probabilistic logic | Journal |
Volume | Issue | ISSN |
153 | 2 | Electronic Notes in Theoretical Computer Science |
Citations | PageRank | References |
6 | 0.48 | 17 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ruggero Lanotte | 1 | 257 | 28.31 |
Andrea Maggiolo-Schettini | 2 | 789 | 89.11 |
Angelo Troina | 3 | 375 | 26.31 |