361 search results - page 29 / 73 » Composition of Password-Based Protocols |
TCC
2009
Springer
14 years 9 months ago
2009
Springer
We propose a general security definition for cryptographic quantum protocols that implement classical non-reactive two-party tasks. The definition is expressed in terms of simple q...
PODS
2006
ACM
14 years 8 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
TCC
2007
Springer
14 years 2 months ago
2007
Springer
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...
IASTEDSEA
2004
13 years 10 months ago
2004
The problem this paper addresses is that an architecture formed of software components can contain composition errors (introduced, for instance, as a result of the choice of afram...
ICWS
2009
IEEE
14 years 5 months ago
2009
IEEE
ite Web service designed based on abstract Web services, which define only interfaces, allows an application developer to select services required for his application only by set...