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

摘要：

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

关键词：网络安全、实时性、模型验证、实时性验证

所属期刊栏目：9

分类号：TP393.0(计算技术、计算机技术)

在线出版日期：2018-07-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：59-64