K Muniasamy, S Srinivasan,
J Vain… - IFAC-PapersOnLine, 2019 - Elsevier
With the advent of the Internet of Things (IoT), Cloud-based Cyber-Physical Systems (C2PS)
are becoming more prevalent in manufacturing systems. Verifying the security of C2PS is a …