An Analysis of Cyber Physical System Security Theories