Abstract: This paper proposes a timestamp protocol processing method based on event order under the situation of not considering network delay. On the basis of analyzing the timestamp and event order, it proves that if the state satisfies no cycles property of timestamp, the transfer of state can main the timestamp freshness. Verification algorithm of timestamp relation no cycles property based on event order is given. Example shows that this method is simple to realize and it has certain applicability.

Key words: protocol processing, event order, timestamp

摘要： 在不考虑网络延迟的情况下，提出一种基于事件顺序的时间戳协议处理方法。在分析时间戳大小与事件关系的基础上，证明为使事件绑定时主体接收的时间戳是新的，状态转移必须满足时间戳关系无环性，并基于事件顺序给出时间戳关系无环性的验证算法。实例表明，该方法易于实现，且具有一定适用性。

关键词: 协议处理, 事件顺序, 时间戳

CLC Number: 

• TP309