947 search results - page 43 / 190 » Provable Implementations of Security Protocols |
105
click to vote
IMA
1997
Springer
15 years 4 months ago
1997
Springer
This paper proposes new protocols for two goals: authenticated key agreement and authenticated key agreement with key con rmation in the asymmetric public-key setting. A formalm...
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we consider the problem of securely outsourcing computation on private data. We present a protocol for securely distributing the computation of the data structures u...
113
click to vote
PKC
2007
Springer
15 years 6 months ago
2007
Springer
: This paper addresses the security of optimistic fair exchange in a multi-user setting. While the security of public key encryption and public key signature schemes in a single-us...
150
click to vote
CMS
2011
13 years 11 months ago
2011
Abstract. Cloud computing promises a cost effective enabling technology to outsource storage and massively parallel computations. However, existing approaches for provably secure ...
CONCUR
2005
Springer
15 years 5 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...