3115 search results - page 41 / 623 » Synthesizing Secure Protocols |
IJNSEC
2008
13 years 9 months ago
2008
As online businesses keep growing and Web services become pervasive, there is an increasing demand for micropayment protocols that facilitate microcommerce, namely selling content...
COMPSAC
2011
IEEE
12 years 8 months ago
2011
IEEE
—Secure Computation (SC) enables secure distributed computation of arbitrary functions of private inputs. It has many useful applications, e.g. benchmarking or auctions. Several ...
SAINT
2003
IEEE
14 years 2 months ago
2003
IEEE
The secure operation of the routing protocol is one of the major challenges to be met for the proliferation of the Mobile Ad hoc Networking (MANET) paradigm. Nevertheless, securit...
WISTP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Non-repudiation protocols with session labels have a number of vulnerabilities. Recently Cederquist, Corin and Dashti have proposed an optimistic non-repudiation protocol...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
In RFID protocols, tags identify and authenticate themselves to readers. At Asiacrypt 2007, Vaudenay studied security and privacy models for these protocols. We extend this model ...