1777 search results - page 160 / 356 » Programming Cryptographic Protocols |
EUROPAR
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we discuss the behavior of the replacement mechanism of well-known COMA protocols applied to a loosely-coupled multicomputer system sharing a common bus. We also pres...
110
click to vote
CCS
2005
ACM
15 years 6 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
100
click to vote
ICPPW
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper explores several systems issues regarding the implementation of routing protocols for mobile ad-hoc networks. It proclaims that support for on-demand routing is insufï¬...
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper describes the evolution of the Portals message passing architecture and programming interface from its initial development on tightly-coupled massively parallel platfor...