14 search results - page 3 / 3 » Critical Infrastructures Security Modeling, Enforcement and ... |
CORR
2008
Springer
13 years 5 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...
JFP
2008
13 years 5 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
CCS
2010
ACM
13 years 6 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
MICRO
2009
IEEE
14 years 12 days ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...