144 search results - page 19 / 29 » Information Flow Security in Dynamic Contexts |
CORR
2008
Springer
13 years 8 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...
OZCHI
2006
ACM
14 years 2 months ago
2006
ACM
This paper describes a pilot project to research the use of a dynamic visual interface as the basis of a scenarioplanning tool. We introduce ‘flow’ as a theoretical framework ...
ASIAN
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Evaluating and enforcing policies in large-scale networks is one of the most challenging and significant problems facing the network security community today. Current solutions ar...
PERVASIVE
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...