A model for security analysis of smart meters | Synapse