3751 search results - page 338 / 751 » Events in security protocols |
147
click to vote
ACISP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we propose an optimistic two-party fair exchange protocol which does not rely on a centralized trusted third party. Instead, the fairness of the protocol re...
174
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—It is generally believed harmful to have transmission errors in the wireless communications. The high decoding complexity of dense parity check codes is unfavorable. Thi...
156
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Evaluating and enforcing policies in large-scale networks is one of the most challenging and significant problems facing the network security community today. Current solutions ar...
197
click to vote
CSFW
2006
IEEE
16 years 24 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
159
click to vote
MMSEC
2006
ACM
16 years 20 days ago
2006
ACM
Current zero-knowledge watermark detectors are based on a linear correlation between the asset features and a given secret sequence. This detection function is susceptible of bein...