3115 search results - page 130 / 623 » Synthesizing Secure Protocols |
SYNTHESE
2010
14 years 8 months ago
2010
In this paper I show that Proclus is an adherent of the Classical Model of Science as set out elsewhere in this issue (de Jong and Betti 2008), and that he adjusts certain conditio...
100
click to vote
ACSW
2006
14 years 11 months ago
2006
To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment p...
IACR
2011
13 years 9 months ago
2011
Traditional approaches to secure computation begin by representing the function f being computed as a circuit. For any function f that depends on each of its inputs, this implies ...
109
click to vote
IACR
2011
13 years 9 months ago
2011
A zero-knowledge protocol allows a prover to convince a verifier of the correctness of a statement without disclosing any other information to the verifier. It is a basic tool a...
WISEC
2009
ACM
15 years 4 months ago
2009
ACM
Mobile ad-hoc networks are becoming ever more popular due to their flexibility, low cost, and ease of deployment. However, to achieve these benefits the network must employ a so...