Chord协议的抽象状态机模型

米海波,王怀民,尹刚

doi:10.3969/j.issn.1007130X.2010.

计算机工程与科学 >

2010 , Vol. 32 >Issue 4: 83 - 85

DOI: https://doi.org/10.3969/j.issn.1007130X.2010.

论文

Chord协议的抽象状态机模型

展开

（国防科学技术大学计算机学院,湖南长沙 410073）

米海波(1982),男, 河南新乡人,博士生,研究方向为分布式计算;王怀民,教授,博士生导师,研究方向为分布计算和网络安全；尹刚,博士,研究方向为访问控制。

收稿日期: 2008-09-23

修回日期: 2008-12-23

网络出版日期: 2010-03-28

收起

The Abstract State Machine Model

Expand

(School of Computer Science,National University of Defense Technology,Changsha 410073,China)

Received date: 2008-09-23

Revised date: 2008-12-23

Online published: 2010-03-28

Fold

摘要

P2P是构筑于互联网的大规模分布计算协议，采用形式化方法对P2P协议的本质原理进行分析，将有助于P2P协议的优化和改进。本文采用抽象状态机（ASM）对经典P2P协议Chord进行分析，用基于抽象状态机语言(Asml)对其建模，设计了核心运行规则，并得到了该协议的有限状态机模型。本文的工作有助于分析、优化P2P协议。

关键词： 抽象状态机; Chord协议; 抽象状态机语言; 有限状态机

本文引用格式

米海波,王怀民,尹刚 . Chord协议的抽象状态机模型[J]. 计算机工程与科学, 2010 , 32(4) : 83 -85 . DOI: 10.3969/j.issn.1007130X.2010.

Abstract

P2P is a largescale distributed computing protocol based on the Internet. It is useful to optimize and improve the P2P protocol by analyzing its basic principles with formal methods. The paper analyses the chord protocol with Abstract State Machine (ASM) and uses the Asml language to build the ASM model. The paper also designs the core running rules of Chord and computes the finite state machine (FSM) of Chord. This work can help to analyze and optimize the P2P protocol.

Key words： abstract state machine;Chord protocol;abstract state machine language;finite state machine

Options

文章导航

模态框（Modal）标题

摘要

本文引用格式

Abstract