Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture.
Andreas Hohenegger, Gerald Krummeck, Janie Baos, lvaro Ortega, Michal Hager, Jiri Sterba, Tomas Kertis, Petr Novobilsky, Jan Prochzka, Benito Caracuel, Ana Lourdes Sanz, Francisco Ramos, Holger Blasum, Mario Brotz, Rudolf Fuchsen, Guillaume Fumaroli, Jan Neskudla, Jan Rollo, Lisa Burgstaller, Martina Truskaller, Klaus-Michael Koch, Reinhard Hametner, Sandro Rauscher, Peter Tummeltshammer, Frank Golatowski, Thorsten Schulz
Browse the full IECON paper archive.