10.3969/j.issn.1007-130X.2010.04.023
Chord协议的抽象状态机模型
P2P是构筑于互联网的大规模分布计算协议,采用形式化方法对P2P协议的本质原理进行分析,将有助于P2P协议的优化和改进.本文采用抽象状态机(ASM)对经典P2P协议Chord进行分析,用基于抽象状态机语言(Asml)对其建模,设计了核心运行规则,并得到了该协议的有限状态机模型.本文的工作有助于分析、优化P2P协议.
抽象状态机、Chord协议、抽象状态机语言、有限状态机
32
TP393.02(计算技术、计算机技术)
国家973计划资助项目2005CB321800
2010-05-17(万方平台首次上网日期,不代表论文的发表时间)
共4页
83-85,92