44 search results - page 1 / 9 » Version vector protocols implementing session guarantees |
ICCS
2005
Springer
13 years 10 months ago
2005
Springer
Session guarantees are used to manage replica consistency of a distributed system from the client perspective. This paper defines formally the guarantees, presents and proves safe...
CCGRID
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper analyses different protocols of session guarantees. Session guarantees (also known as client-centric consistency models) are one of the class of consistency models of r...
PPAM
2005
Springer
13 years 10 months ago
2005
Springer
CAV
1998
Springer
13 years 9 months ago
1998
Springer
The version of Kerberos presented by Burrows et al. [5] is fully mechanised using the Inductive Method. Two models are presented, allowing respectively the leak of any session keys...
ICCCN
1997
IEEE
13 years 9 months ago
1997
IEEE
In this paper, we make a survey of Distance Vector Multicast Routing Protocol (DVMRP)andfind that it is not optimal in the aspect of network cost (NC). Therefore, we propose a mod...