2237 search results - page 71 / 448 » On the Security of Random Sources |
156
click to vote
ESSOS
2010
Springer
16 years 3 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
147
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
: We consider a game played between a hider, who hides a static object in one of several possible positions in a bounded planar region, and a searcher who wishes to reach the objec...
189
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this work, we investigate the security of anonymous wireless sensor networks. To lay down the foundations of a formal framework, we propose a new model for analyzing and evalua...
161
click to vote
BROADCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Open Source software (OSS) is increasingly being recognized by the government sector around the world as a viable choice to proprietary software, particularly in a number of areas...
165
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
The presence of vulnerable statements in the source code is a crucial problem for maintainers: properly monitoring and, if necessary, removing them is highly desirable to ensure h...