Visible to the public Alloy-based Game-theoretic Framework for Analyzing Security Issues in Small-Scale Smart Grid Systems