Surveillance and identity: conceptual framework and formal models
Surveillance and identity: conceptual framework and formal models
复制标题
监视和身份：概念框架和形式模型
DOI：
10.1093/cybsec/tyx010
复制
发表时间：
2017
影响因子：
3.9
通讯作者：
Wang V
中科院分区：
文献类型：
--
作者：
Wang V
监督被认为是一种常见的社会现象，政府、公司和社区出于各种原因而使用这种现象。监视是网络安全的基础，因为它提供了预防和检测的工具；它也是与隐私和自由有关的争议的来源。在对监测的一般研究的基础上，我们确定和分析了对监测至关重要的某些概念。为此，我们采用了基于初等代数的形式化方法。首先，我们证明了不同形式的监视具有共同的结构，并可以通过抽象的数学概念来统一。该模型表明，(I)寻找身份和(Ii)将身份分类是概念化监视的基础。其次，我们开发了一个形式模型，该模型将身份理论化为我们计算的抽象数据。该模型通过抽象数据类型理论的计算透镜来看待同一性。我们研究了识别符相互依赖的方式；并表明识别符的起源取决于识别符系统之间的翻译。
Surveillance is recognized 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 conceptualizing surveillance. Secondly, we develop a formal model that theorizes identity as abstract data that we callidentifiers. 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.
登录
查看更多内容
抽象数据类型规范
DOI：
--
发表时间：
1996
期刊：
影响因子：
--
作者：
J. Loeckx;H. Ehrich;M. Wolf
通讯作者：
M. Wolf
生物识别技术40年来的科学发展
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
J. Wayman
通讯作者：
J. Wayman
16. 在我的皮肤下：从身份证件到身体监视
DOI：
--
发表时间：
2002
期刊：
影响因子：
--
作者：
D. Lyon
通讯作者：
D. Lyon
识别英国人：1500 年至今个人识别的历史
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
E. Higgs
通讯作者：
E. Higgs
未来的身份：英国身份的变化：未来十年。
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
Christopher G. Hankin
通讯作者：
Christopher G. Hankin