面向描述语言的蠕虫扩散过程形式化研究

• 作者: 周佳骏 汪婷婷
• 来源期刊: 网络安全技术与应用
• 学科: 工学
• 关键词: 蠕虫 扩散 描述语言 确定状态有限自动机
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 应用安全
• 页码范围: 27-29
• 页数: 3页
• 分类号: TP3
• 字数: 3406字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-6833.2008.10.011

摘要

建立典型的蠕虫扩散自动机模型,运用确定的有限状态自动机理论对蠕虫扩敞行为进行形式化描述,并且论证其正确性.本文提出一种扩敞描述语言,解决扩散自动机的形式描述、本质特征和执行过程问题.为研究蠕虫扩散行为提供一种更为直观的形式化手段.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪婷婷	安阳工学院计算机工程系	8	16	2.0	3.0