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...
Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyn...
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...
Anna Kobusinska, Cezary Sobaniec, Marek Libuda, Da...
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...
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...