The Integrated Model of Secure Cyber-Physical Systems for Their Design and Verification.

Dmitry Levshun, Igor V. Kotenko, Andrey Chechulin

Browse the full IDC paper archive.