作者：杜泽民; 王晓玲; 陈宜成网络安全实时性模型验证实时性验证
摘要：互联网技术的发展和应用在各个生产领域中发挥着越来越积极的作用,但随着网络技术应用的深入,网络系统的实时性成为影响网络安全的一大因素,因此对网络模型的通信实时性、威胁分析实时性的验证成为网络安全的重要保障。目前,国内外在实时性验证方面有诸多研究,形成了不同的方法体系。文章把主要的模型实时性验证方法,从理论和工具角度加以介绍分析,并对各个方法进行了比较。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《网络空间安全》（CN：10-1421/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《网络空间安全》将为工程技术人员提供中、高级职称评定，为项目申请作证明依据，体现用户单位管理及技术人员的应用成果，发表科研院所研究人员的研究成果、IT企业的技术突破、工程人员的实施经验总结，以及有关单位管理经验的实施性总结。
省级期刊
人气 211831 评论 71
部级期刊
人气 36188 评论 47
北大期刊、CSCD期刊、统计源期刊
人气 34008 评论 50
人气 27591 评论 47
