...
机译:基于转换的网络物理系统安全性验证方法
Ecole Int Sci Traitement Informat Equipes Traitement Informat & Syst F-95000 Cergy France;
Attack modeling; code generation; cyber-physical systems; cyber-security; model checking; systems engineering; Systems Modeling Language (SysML); temporal logic;
机译:安全建模和正式验证生存性的特性:网络物理系统的应用
机译:通过使用形式验证对恶意代理交互进行建模来揭示和解决网络物理系统中安全漏洞的方法
机译:基于Petrinet的网络物理系统模型的安全验证 - 以核电站为例
机译:网络物理系统安全配置的定义和验证
机译:验证网络物理系统中信息流的安全性。
机译:网络物理系统中控制模块的正式验证
机译:一种通过形式化验证对恶意代理交互进行建模来揭示和解决网络物理系统中安全漏洞的方法