Title
Formalising Surveillance and Identity.
Abstract
Surveillance is a social phenomenon that is general and commonplace, employed by governments, companies and communities. Its ubiquity is due to technologies for gathering and processing data; its strong and obvious effects raise difficult social questions. We give a general definition of surveillance that captures the notion in diverse situations and we illustrate it with some disparate examples.A most important, if neglected,component idea is that of the identity of the people or objects observed. We propose a general definition of identifiers as data designed to specify the identity of an entity in some context or for some purpose. We examine the ways identifiers depend upon other identifiers and show the provenance of identifiers requires reductions between identifiers and a special idea of personal identifier. The theory is formalised mathematically. Finally, we reflect on the role of formal methods to give insights in sociological contexts.
Year
Venue
Field
2014
CoRR
Data mining,Social phenomenon,World Wide Web,Identifier,Computer science,Formal methods
DocType
Volume
Citations 
Journal
abs/1408.3439
0
PageRank 
References 
Authors
0.34
2
2
Name
Order
Citations
PageRank
Victoria Wang112.72
John V. Tucker201.35