1190 search results - page 81 / 238 » Secure off-the-record messaging |
128
click to vote
COCOON
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Problems of secure communication and computation have been studied extensively in network models, for example, Franklin and Yung have studied secure communications in the...
142
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
136
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Secure multicast has a variety of applications in ecommerce, e-banking, command and control, video-ondemand, and other internet-based services. In this paper, we present algorithm...
143
click to vote
SP
2006
IEEE
15 years 10 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...
129
click to vote
CONEXT
2006
ACM
15 years 10 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...