SSCMP - THE SEQUENCED SYNCHRONIZED CLOCK MESSAGE PROTOCOL

We present a novel timer-based connection management protocol SSCMP (S equenced Synchronized Clock Message Protocol) providing reliable order ed at-most-once delivery of messages. Apart from being strikingly simp le, it also surpasses existing protocols like Delta-t, VMTP, XTP, and CMSC with respect to correctness in case of clock synchronization fail ures. By means of a rigorous mathematical analysis, we show that our S SCMP implements a certain abstract specification on top of a fairly re alistic system model, putting on a firm ground the very positive exper iences we gathered from experiments with our actual implementation.