4305 search results - page 150 / 861 » Analysing Protocol Implementations |
IEEEARES
2006
IEEE
14 years 3 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...
IPPS
2006
IEEE
14 years 3 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 ...
ESORICS
2004
Springer
14 years 2 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...
DEXAW
2003
IEEE
14 years 2 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 ...
AINA
2009
IEEE
14 years 3 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....