模型检测技术相关论文
本文找到了TMN密码协议的一些新的攻击,这些攻击具有新的特点:入侵者既作协议的初始者,也作协议的响应者.这种新类型的攻击无疑扩......
当今，随着网络技术的迅猛发展和广泛应用，网络已经成为人们共享信息的主要方式，人们可以随时、随地以各种方式提供和接受信息。然而，网......
随着计算机越来越多的应用于工业生产中,尤其是以DCS和PLC控制系统为代表的计算机控制系统的广泛应用。而且计算机控制系统常用于......
Model checking can aid the design,analysis,and verification of the cryptographic protocols used over open networks and d......
针对工控协议漏洞挖掘技术存在适应差、命中率低等问题,本文采用模型检测技术,对工控协议漏洞挖掘系统的实现进行了设计研究.研究......
近年来,模型检测技术获得快速的发展,已有学者将模型检测技术用于多处理器实时系统可调度性分析。但如果对每个实际系统都手工建立......
模型检测(model checking)是一种能够自动验证有限状态并发系统的技术。该文从模型检测技术的背景入手,先阐述了模型检测技术基本......
互联网高速发展,舆情的影响力愈发强烈。民众对于舆情信赖的程度所表现的态度即是舆情可信度,而财经舆情即指有关经济活动的舆情。......
