Surveillance and identity: conceptual framework and formal models - John Tucker (Journal of Cybersecurity, 2017)