1679 search results - page 163 / 336 » Security Properties and CSP |
167
click to vote
ENTCS
2002
15 years 6 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
175
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
178
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
We propose a novel entity authentication approach for pervasive computing environments. A person uses a single device, the Master Key, which aggregates all his digital forms of ac...
177
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
The neighborhood information has been frequently used by protocols such as routing in sensor networks. Many methods have been proposed to protect such information in hostile envir...
171
click to vote
ISORC
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. Distributed stream ...