6907 search results - page 230 / 1382 » Securing distributed adaptation |
118
click to vote
TRUSTBUS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Bayesian reputation systems are quite flexible and can relatively easily be adapted to different types of applications and environments. The purpose of this paper is to ...
147
click to vote
ISSE
2010
14 years 11 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...
148
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
This paper extends earlier work in the use of ‘Agent-based Computational Economics’ (ACE) for modelling the development of co-operation between firms. Inter-firm relations hav...
127
click to vote
CRYPTO
2008
Springer
15 years 6 months ago
2008
Springer
We present the first general protocol for secure multiparty computation in which the total amount of work required by n players to compute a function f grows only polylogarithmical...
129
click to vote
PROVSEC
2010
Springer
15 years 2 months ago
2010
Springer
Zero-knowledge identification schemes solve the problem of authenticating one party to another via an insecure channel without disclosing any additional information that might be u...