Mobile Cyber-Physical Systems ◾ 31
verification may not capture all vulnerabilities of the system. As a result, only a limited set of
small-scale applications use design-time techniques. Run-time security techniques build run-
time trusted components to provide guarantees for certain system components. Encryption and
authentication modules are typical examples of run-time techniques. e trusted components can
be changed and modified at design time. In large-scale mobile CPSs, establishing security contexts
among system components before the deployment is unlikely owing to the large number of devices
belonging to many different administrative control domains. One can utilize run-time security
techniques to build an intelligent authentication m ...