4099 search results - page 115 / 820 » A Framework for Interactive Proof |
106
click to vote
CASCON
2010
14 years 8 months ago
2010
In Service Oriented Architecture (SOA), service composition integrates existing services to fulfill specific tasks using a set of standards and tools. However, current service comp...
CRYPTO
2010
Springer
14 years 11 months ago
2010
Springer
Motivated by the question of basing cryptographic protocols on stateless tamper-proof hardware tokens, we revisit the question of unconditional two-prover zero-knowledge proofs fo...
EUROCRYPT
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. In this paper we present a general framework for passwordbased authenticated key exchange protocols, in the common reference odel. Our protocol is actually an abstraction...
ACNS
2004
Springer
15 years 1 months ago
2004
Springer
In the literature, voting protocols are considered secure if they satisfy requirements such as privacy, accuracy, robustness, etc. It can be time consuming to evaluate a voting pr...
102
click to vote
SEDE
2007
2007
A framework for constraint checking involving aggregates for multiple XML databases using schematron
14 years 11 months ago
Many internet and enterprise applications now not only use XML (eXtensible Markup Language) as a medium for communication but also for storing their data either temporarily for an...