机译:远程现场总线访问安全系统的形式漏洞分析
IEIIT, National Research Council, Torino, Italy;
Computer security; cryptographic protocols; formal specifications; formal verification; industrial control; supervisory control and data acquisition (SCADA) systems;
机译:基于漏洞管理的远程访问安全模型
机译:通过使用形式验证对恶意代理交互进行建模来揭示和解决网络物理系统中安全漏洞的方法
机译:区域公路网脆弱性分析中的偏远性和可及性
机译:由于远程诊断测试仪的安全漏洞,防止对车载E / E系统进行防止未经授权访问的措施
机译:可访问的远程测试平台,用于智能电网的网络物理系统安全。
机译:慢性病患者中的住房和粮食不安全获得医疗服务以及健康状况:行为风险因素监视系统的分析
机译:远程现场总线访问安全系统的形式漏洞分析
机译:太空港指挥和控制系统的网络安全:漏洞管理和合规性分析。