Secure control against replay attacks
a survey of design methods for failure detection in dynamic systems .