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 条
  • [41] Formal concept analysis and concept lattice: Perspectives and challenges
    Yan, Hehua
    Zou, Caifeng
    Liu, Jianqi
    Wang, Zhonghai
    International Journal of Autonomous and Adaptive Communications Systems, 2015, 8 (01) : 81 - 96
  • [42] Fuzzy formal concept analysis and fuzzy concept lattices
    Hu, Ming-Han
    Zhang, Li
    Ren, Fei-Liang
    Dongbei Daxue Xuebao/Journal of Northeastern University, 2007, 28 (09): : 1274 - 1277
  • [43] Concept reduction in formal concept analysis based on representative concept matrix
    Zhao, Siyu
    Qi, Jianjun
    Li, Junan
    Wei, Ling
    INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS, 2023, 14 (04) : 1147 - 1160
  • [44] Concept reduction in formal concept analysis based on representative concept matrix
    Siyu Zhao
    Jianjun Qi
    Junan Li
    Ling Wei
    International Journal of Machine Learning and Cybernetics, 2023, 14 : 1147 - 1160
  • [45] Formal specification of intrusion signatures and detection rules
    Pouzol, JP
    Ducassé, M
    15TH IEEE COMPUTER SECURITY FOUNDATION WORKSHOP, PROCEEDINGS, 2002, : 64 - 74
  • [46] Formal concept analysis based on the topology for attributes of a formal context
    Pei, Zheng
    Ruan, Da
    Meng, Dan
    Liu, Zhicai
    INFORMATION SCIENCES, 2013, 236 : 66 - 82
  • [47] Formal concept analysis of multi-scale formal context
    Chen, Dongxiao
    Li, Jinjin
    Lin, Rongde
    JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2020, 11 (11) : 5315 - 5327
  • [48] A Formal Concept Analysis-Based Domain-Specific Thesaurus and Its Application in Document Representation
    Jehng, Jihn-Chang
    Chou, Shihchieh
    Cheng, Chin-Yi
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2010, PT 3, PROCEEDINGS, 2010, 6018 : 431 - +
  • [49] Formal concept analysis of multi-scale formal context
    Dongxiao Chen
    Jinjin Li
    Rongde Lin
    Journal of Ambient Intelligence and Humanized Computing, 2020, 11 : 5315 - 5327
  • [50] The Domain of Formal Matching in Sluicing
    Anand, Pranav
    Hardt, Daniel
    McCloskey, James
    LINGUISTIC INQUIRY, 2025, 56 (02) : 353 - 373
12345