基于Mobile Ambients的网络实时模拟方法

• 作者: 刘荣胜 陈承欢 高春鸣
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 形式化 类型系统 实时演算 Mobile Ambients 通信协议
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 网络与通信技术
• 页码范围: 869-872
• 页数: 4页
• 分类号: TP393
• 字数: 4533字
• 语种: 中文

摘要

在通信协议中,很多性质都与时间相关.为了研究通信协议的时间性质,需要一种能够描述时间的形式化方法,在Mobile Ambients的基础上,用时间对其做扩展,提出一种新的形式系统--类型化实时Mobile Ambients演算.并采用实时Mo-bile Ambients描述了三次握手协议,结果表明了该方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高春鸣	湖南师范大学数学与计算机科学学院	44	368	12.0	17.0
2	陈承欢	湖南铁道职业技术学院信息工程系	28	324	6.0	17.0
3	刘荣胜	湖南铁道职业技术学院信息工程系	5	6	1.0	2.0