954 search results - page 46 / 191 » On the Security of ''Golden'' Cryptography |
WS
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...
FSTTCS
2009
Springer
15 years 4 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
PODS
2005
ACM
15 years 10 months ago
2005
ACM
Some promising recent schemes for XML access control employ encryption for implementing security policies on published data, avoiding data duplication. In this paper we study one ...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
The evolution of wireless networks and mobile devices has resulted in increased concerns about performance and security of mobile payment systems. In this paper we propose SA2pMP,...
EUROCRYPT
2003
Springer
15 years 3 months ago
2003
Springer
We introduce captcha, an automated test that humans can pass, but current computer programs can’t pass: any program that has high success over a captcha can be used to solve an u...