A Formal Concept of Domain Pseudonymous Signatures

被引：0
|
作者：
Kluczniak, Kamil [1 ]
Hanzlik, Lucjan [1 ]
Kutylowski, Miroslaw [1 ]
机构：
[1] Wroclaw Univ Sci & Technol, Dept Comp Sci, PL-50370 Wroclaw, Poland
来源：
INFORMATION SECURITY PRACTICE AND EXPERIENCE, ISPEC 2016 | 2016年 / 10060卷
关键词：
Domain pseudonymous signature; Unlinkability; Deanonymization; Formal model; Privacy; Identity documents; SCHEMES;
D O I：
10.1007/978-3-319-49151-6_17
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present a formal model for domain pseudonymous signatures - in particular providing a simple and strong concept and comprehensive formalization of unlinkability, which is the key property of domain pseudonymous signatures. Following the approach deployed for German personal identity cards, we consider domains that have to be registered and require a particular form of domain specifications. We introduce and formalize the deanonymization procedures that have to be implemented as one of the crucial functionalities in many application areas of domain signatures. Finally, we present two constructions that correspond to this model.
引用
收藏
页码：238 / 254
页数：17
相关论文
共 50 条
  • [1] Efficient and Strongly Secure Dynamic Domain-Specific Pseudonymous Signatures for ID Documents
    Bringer, Julien
    Chabanne, Herve
    Lescuyer, Roch
    Patey, Alain
    FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2014, 2014, 8437 : 255 - 272
  • [2] A representation of L-domain by formal concept analysis
    Shengwen Wang
    Qingguo Li
    Soft Computing, 2022, 26 : 9751 - 9760
  • [3] Exploring attributes with domain knowledge in formal concept analysis
    Annapurna, J. (jannapurna@gmail.com), 1600, University of Zagreb Faculty of Electrical Engineering and Computing (21):
  • [4] A representation of L-domain by formal concept analysis
    Wang, Shengwen
    Li, Qingguo
    SOFT COMPUTING, 2022, 26 (19) : 9751 - 9760
  • [5] Identification of Ontological Relations in Domain Corpus Using Formal Concept Analysis
    Tovar, Mireya
    Pinto, David
    Montes, Azucena
    Gonzalez, Gabriel
    Vilarino, Darnes
    ENGINEERING LETTERS, 2015, 23 (02) : 72 - 76
  • [6] Inferring Domain-Domain Interactions from Protein-Protein Interactions with Formal Concept Analysis
    Khor, Susan
    PLOS ONE, 2014, 9 (02):
  • [7] Formal domain knowledge modelling with epistemological concept languages in information systems engineering
    Compatangelo, E
    Rumolo, G
    ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, 1996, 35 : 158 - 167
  • [8] On stability of a formal concept
    Kuznetsov, Sergei O.
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 49 (1-4) : 101 - 115
  • [9] The concept as a formal sign
    Osborne, Thomas
    SEMIOTICA, 2010, 179 (1-4) : 1 - 21
  • [10] THE CONCEPT OF FORMAL JUSTICE
    CARR, CL
    PHILOSOPHICAL STUDIES, 1981, 39 (03) : 211 - 226
12345