Analytical models; Availability; Computational modeling; Mathematical model; Random variables; Security; Steady-state; Cyber-physical systems; physical damage; quantitative ssecurity evaluation; security modelling;
机译:使用随机Petri网对网络物理系统的安全性进行建模和评估
机译:通过使用形式验证对恶意代理交互进行建模来揭示和解决网络物理系统中安全漏洞的方法
机译:一种评估物理网络安全攻击后果传播的方法
机译:一种用于网络物理系统安全性建模和评估的方法
机译:基于游戏理论和模型的电力系统网络 - 物理安全性方法
机译:基于物联网的网络物理系统中基于生物启发的安全与保障方法
机译:一种通过形式化验证对恶意代理交互进行建模来揭示和解决网络物理系统中安全漏洞的方法
机译:网络物理系统安全研究,开发和应用的建模与仿真