4305 search results - page 150 / 861 » Analysing Protocol Implementations |
123
click to vote
IEEEARES
2006
IEEE
15 years 9 months ago
2006
IEEE
Distributed object systems for partitionable systems present a challenge, in that there is a trade-off between availability and consistency. Changes in one partition are not visib...
110
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we study dynamic protocol update (DPU). Contrary to local code updates on-the-fly, DPU requires global coordination of local code replacements. We propose a novel ...
135
click to vote
ESORICS
2004
Springer
15 years 8 months ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
124
click to vote
DEXAW
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents an open protocol for interoperability across multi-vendor programmable smart cards. It allows exposition of on-card storage and cryptographic services to host ...
131
click to vote
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....