An Anomaly Behavior Analysis Methodology for the Internet of Things: Design, Analysis, and Evaluation