2137 search results - page 4 / 428 » Proving Abstract Non-interference |
73
Voted
CSL
2004
Springer
15 years 8 months ago
2004
Springer
69
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
96
Voted
CAV
1999
Springer
15 years 7 months ago
1999
Springer
93
Voted
DT
2007
15 years 2 months ago
2007
127
Voted
ENTCS
2006
15 years 2 months ago
2006
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 studnformation ...