Periodic Reporting for period 3 - certMILS (Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats)

Previously isolated physical systems have become connected to the Internet, thus becoming cyber-physical systems (CPS). For instance, in transportation, for passenger as well as operator comfort, almost all means (airplanes, trains, cars, and ships) are networked. Due to the...