SmartTracer: Anomaly-Driven Provenance Analysis Based on Device Correlation in Smart Home Systems | IEEE Journals & Magazine | IEEE Xplore