703 search results - page 40 / 141 » A Framework for Outsourcing of Secure Computation |
SUTC
2006
IEEE
14 years 2 months ago
2006
IEEE
With the emergence of ubiquitous computing the role of sensor network is becoming more important which demands highest level security and energy efficiency. In this paper we have ...
ARCS
2006
Springer
14 years 5 days ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...
EUROCRYPT
1998
Springer
14 years 20 days ago
1998
Springer
Remotely keyed encryption schemes (RKESs), introduced by Blaze 6], support high-bandwidth cryptographic applications (such as encrypted video conferences) in which long-lived secre...
ECOWS
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we present a framework providing integrity and authentication for secure workflow computation based on BPEL Web Service orchestration. We address a recent cryptogra...