Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture.
Andreas HoheneggerGerald KrummeckJanie BañosÁlvaro OrtegaMichal HagerJiri SterbaTomas KertisPetr NovobilskyJan ProcházkaBenito CaracuelAna Lourdes SanzFrancisco RamosHolger BlasumMario BrotzRudolf FuchsenGuillaume FumaroliJan NeskudlaJan RolloLisa BurgstallerMartina TruskallerKlaus-Michael KochReinhard HametnerSandro RauscherPeter TummeltshammerFrank GolatowskiThorsten SchulzPublished in: IECON (2021)