Databases; Security; Safety; Logic gates; Software; Cyber-physical systems; Browsers;
机译:网络物理系统中的漏洞和安全保证方法:全面回顾
机译:通过使用形式验证对恶意代理交互进行建模来揭示和解决网络物理系统中安全漏洞的方法
机译:对水文气象威胁的脆弱性的系统分析:津巴布韦北部脆弱性驱动因素的探索性研究
机译:使用漏洞数据库的网络物理系统威胁分析方法
机译:减轻网络体力制造系统中的内幕威胁风险
机译:技术报告:迈向网络物理系统的系统性威胁建模方法
机译:网络 - 物理系统漏洞和安全保障方法:全面审查