网络系统实时性模型的验证方法综述

• 作者: 杜泽民 王晓玲 陈宜成
• 来源期刊: 网络空间安全
• 学科: 工学
• 关键词: 网络安全 实时性 模型验证 实时性验证
• 年，卷（期）: 2018,（3）
• 所属期刊栏目: 防御技术
• 页码范围: 59-64
• 页数: 6页
• 分类号: TP393.0
• 字数: 4627字
• 语种: 中文

摘要

互联网技术的发展和应用在各个生产领域中发挥着越来越积极的作用,但随着网络技术应用的深入,网络系统的实时性成为影响网络安全的一大因素,因此对网络模型的通信实时性、威胁分析实时性的验证成为网络安全的重要保障.目前,国内外在实时性验证方面有诸多研究,形成了不同的方法体系.文章把主要的模型实时性验证方法,从理论和工具角度加以介绍分析,并对各个方法进行了比较.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王晓玲		13	14	2.0	3.0
2	杜泽民		2	3	1.0	1.0
3	陈宜成		9	15	3.0	3.0