Specification-based Intrusion Detection for home area networks in smart grids | IEEE Conference Publication | IEEE Xplore