11 search results - page 3 / 3 » Differential Dynamic Logic for Verifying Parametric Hybrid S... |
CORR
2008
Springer
13 years 6 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...