44 search results - page 1 / 9 » Version vector protocols implementing session guarantees |
ICCS
2005
Springer
15 years 2 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
15 years 3 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
15 years 2 months ago
2005
Springer
CAV
1998
Springer
15 years 1 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
15 years 1 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...