2687 search results - page 45 / 538 » Formal Analysis of PKCS |
ENTCS
2006
13 years 11 months ago
2006
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
IJAR
2007
13 years 11 months ago
2007
This paper discusses some aspects of fuzzy random variables obtained by propagating uncertainty in risk analysis when some input parameters are stochastic, while others are determ...
FAABS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. This paper summarizes a novel framework, called “physicomimetics,” for the distributed control of large collections of mobile physical agents in sensor networks. The ...
CSFW
2004
IEEE
14 years 2 months ago
2004
IEEE
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
ICASSP
2010
IEEE
13 years 11 months ago
2010
IEEE
The major contribution of this paper is the presentation of a general unifying description of distributed algorithms allowing to map local, node-based, algorithms onto a single gl...