14824 search results - page 408 / 2965 » Security - Introduction |
196
click to vote
SP
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
201
click to vote
SUTC
2006
IEEE
16 years 1 months ago
2006
IEEE
With the emergence of ubiquitous computing the role of sensor network is becoming more important which demands highest level security and energy efficiency. In this paper we have ...
189
click to vote
CONEXT
2006
ACM
16 years 1 months ago
2006
ACM
The deployment of sensor networks in security- and safety-critical environments requires secure communication primitives. In this paper, we design, implement, and evaluate a new s...
189
click to vote
AINA
2005
IEEE
16 years 1 months ago
2005
IEEE
Security of mobile communications comes with the cost of computational overhead. Reducing the overhead in security computations is critical to ensure the overall performance of a ...
169
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
Exchange of private information content among a large number of users via E-mail List Services is becoming increasingly common. In this paper we address security requirements in t...