Journal article 545 views 57 downloads
Surveillance and identity: conceptual framework and formal models / Victoria Wang, John Tucker
Journal of Cybersecurity, Volume: 3, Issue: 3, Pages: 145 - 158
Swansea University Author: John Tucker
PDF | Version of Record
Released under the terms of a Creative Commons Attribution Non-Commercial License (CC-BY-NC).Download (261.88KB)
Surveillance is recognised as a social phenomenon that is commonplace, employed by governments, companies and communities for a wide variety of reasons. Surveillance is fundamental in cybersecurity as it provides tools for prevention and detection; it is also a source of controversies related to pri...
|Published in:||Journal of Cybersecurity|
Oxford University Press (OUP)
Check full text
No Tags, Be the first to tag this record!
Surveillance is recognised as a social phenomenon that is commonplace, employed by governments, companies and communities for a wide variety of reasons. Surveillance is fundamental in cybersecurity as it provides tools for prevention and detection; it is also a source of controversies related to privacy and freedom. Building on general studies of surveillance, we identify and analyse certain concepts that are central to surveillance. To do this we employ formal methods based on elementary algebra. First, we show that disparate forms of surveillance have a common structure and can be unified by abstract mathematical concepts. The model shows that (i) finding identities and (ii) sorting identities into categories are fundamental in conceptualising surveillance. Secondly, we develop a formal model that theorizes identity as abstract data that we call identifiers. The model views identity through the computational lens of the theory of abstract data types. We examine the ways identifiers depend upon each other; and show that the provenance of identifiers depends upon translations between systems of identifiers.
surveillance, social sorting, identity, abstract data types, formal methods