Chord协议的抽象状态机模型

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

J4 ›› 2010, Vol. 32 ›› Issue (4): 83-85.doi: 10.3969/j.issn.1007130X.2010.

Chord协议的抽象状态机模型

米海波,王怀民,尹刚

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

收稿日期:2008-09-23 修回日期:2008-12-23 出版日期:2010-03-28 发布日期:2010-03-28
通讯作者: 米海波 E-mail:rainmhb@gmail.com
作者简介:米海波(1982),男, 河南新乡人,博士生,研究方向为分布式计算;王怀民,教授,博士生导师,研究方向为分布计算和网络安全；尹刚,博士,研究方向为访问控制。

The Abstract State Machine Model

MI Haibo,WANG Huaimin,YIN Gang

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

Received:2008-09-23 Revised:2008-12-23 Online:2010-03-28 Published:2010-03-28
Contact: MI Haibo E-mail:rainmhb@gmail.com

摘要/Abstract

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

关键词: 抽象状态机, Chord协议, 抽象状态机语言, 有限状态机

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

中图分类号:

TP393.02

米海波,王怀民,尹刚. Chord协议的抽象状态机模型[J]. J4, 2010, 32(4): 83-85.

MI Haibo,WANG Huaimin,YIN Gang. The Abstract State Machine Model[J]. J4, 2010, 32(4): 83-85.

[1]	于嘉维,贲可荣. ALL-Uses覆盖引导的回归测试用例生成方法[J]. 计算机工程与科学, 2017, 39(12): 2278-2289.
[2]	蒋晶晶1,2，叶剑1，朱珍民1,2. 基于ASM的混合式情境感知共享机制研究[J]. J4, 2012, 34(6): 50-58.
[3]	皮学贤1,2,荆涛1,柳林1,钟玮珺 1. 基于有限状态机的可校核仿真模型研究[J]. J4, 2012, 34(5): 153-156.
[4]	王洪坡，周红建. 某信号指示嵌入式软件的安全性分析[J]. J4, 2012, 34(4): 102-107.
[5]	李瑛1,徐宇茹2,范洪达1. 无线分组业务源模型与容量估算方法研究[J]. J4, 2010, 32(7): 46-48.
[6]	赵良，倪福川. 基于有限状态机的嵌入式系统建模研究与实现[J]. J4, 2010, 32(4): 128-130.
[7]	陈宝楷范冰冰. 基于有限状态机模型的NGN业务开发与实现[J]. J4, 2008, 30(8): 26-29.
[8]	胡建强周斌邹鹏. 一种基于服务过程行为的Web服务发现方法[J]. J4, 2007, 29(9): 41-44.
[9]	曹计昌周宇杰. 基于高地址约束和按需存储分配的UCard底层调度模块研究[J]. J4, 2007, 29(6): 121-123.
[10]	胡迎松郭守烈. 一种层次式的低延迟Chord协议扩展算法[J]. J4, 2007, 29(4): 74-77.
[11]	卢炎生雷波谢晓东毛澄映. 基于扩展有限状态机的定义-清除路径的生成方法[J]. J4, 2006, 28(7): 67-69.
[12]	彭熙李艳肖德宝. 基于通信扩展有限状态机的测试集生成技术[J]. J4, 2004, 26(2): 32-35.
[13]	王乐春朱培栋龚正虎. BGP协议健壮性分析与健壮性模型的研究[J]. J4, 2004, 26(11): 4-7.
[14]	刘湘辉[1] 许江[2] 等. 利用有限状态机分析TCP协议握手过程的安全问题[J]. J4, 2002, 24(4): 21-23.

Chord协议的抽象状态机模型

The Abstract State Machine Model

PDF

可视化

摘要/Abstract

引用本文

使用本文

相关文章 14

编辑推荐

Metrics

本文评价