2237 search results - page 247 / 448 » On the Security of Random Sources |
212
click to vote
CSFW
1997
IEEE
15 years 11 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
192
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
Most sensors used for robot navigation fall into one of two broad categories: range sensors that give approximate distances to obstacles, and object-based sensors that detect and ...
204
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
Current scientific workflow models require datasets to be transferred from their source to the hosts where they can be processed. This seriously impedes data-intensive application...
174
click to vote
CSFW
2010
IEEE
15 years 11 months ago
2010
IEEE
—An attacker that can identify messages as coming from the same source, can use this information to build up a picture of targets’ behaviour, and so, threaten their privacy. In...
182
click to vote
CSFW
2010
IEEE
15 years 11 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...