1825 search results - page 320 / 365 » Cryptographic Securities Exchanges |
EPEW
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
GCA
2007
13 years 10 months ago
2007
On-Demand Computing fulfills the need of computing availability at limited hardware and software costs. Distributed systems of this kind typically store user files in a shared ...
ICISC
2007
13 years 10 months ago
2007
In Ubiquitous Computing Environment (UCE), service provider wants to provide its service to only legitimate users. Some users who belong to same service provider do not want to rev...
DBSEC
2006
13 years 10 months ago
2006
We propose a notarized federated identity management model that supports efficient user authentication when providers are unknown to each other. Our model introduces a notary servi...
CRYPTO
2010
Springer
13 years 9 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...