1679 search results - page 190 / 336 » Security Properties and CSP |
177
click to vote
PET
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper presents a novel use of pairing-based cryptography to improve circuit construction in onion routing anonymity networks. Instead of iteratively and interactivel...
165
click to vote
PET
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Location privacy is of utmost concern for location-based services. It is the property that a person’s location is revealed to other entities, such as a service provider...
154
click to vote
WISA
2007
Springer
16 years 19 days ago
2007
Springer
Watermark resistance to both geometric attacks and lossy compressions is a fundamental issue in the image watermarking community. In this paper, we propose a DWT (Discrete Wavelet ...
157
click to vote
ICDCS
2005
IEEE
16 years 4 days ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
172
click to vote
POPL
2005
ACM
16 years 3 days ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...