Security; Cyber-physical systems; Protocols; Servers; Computer architecture; Message passing; Perturbation methods;
机译:使用信息流方法分析网络物理系统的安全性
机译:经过验证的信息流架构
机译:经过验证的信息流架构
机译:基于组件的细化和验证网络 - 物理微服务架构的信息流安全策略
机译:复杂系统的信息流安全性的正式端到端验证。
机译:智能运输网络物理系统的基于组件的交互式框架
机译:经过验证的信息流架构