187 search results - page 20 / 38 » A Semantic Approach to Secure Information Flow |
100
click to vote
CCS
2001
ACM
15 years 6 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
ESORICS
2002
Springer
16 years 1 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
CCS
2008
ACM
15 years 3 months ago
2008
ACM
A practically feasible modification to fixed-priority schedulers allows to avoid timing channels despite threads having access to precise clocks. This modification is rather simpl...
114
Voted
CASES
2004
ACM
15 years 7 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
112
click to vote
AGENTS
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a knowledge approach to designing team training systems using intelligent agents. We envision a computer-based training system in which teams are trained by pu...