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 条

[31] Scalability in formal concept analysis
Griffith Univ, Queensland, Australia
Comput Intell, 1 (11-27):
[32] Concept location in formal specifications
Bollin, Andreas
JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 2008, 20 (02): : 77 - 105
[33] Formal aspects of the particle concept
Kuhlmann, M
DECOHERENCE AND ITS IMPLICATIONS IN QUANTUM COMPUTATION AND INFORMATION TRANSFER, 2001, 182 : 83 - 97
[34] Scalability in formal concept analysis
Cole, R
Eklund, PW
COMPUTATIONAL INTELLIGENCE, 1999, 15 (01) : 11 - 27
[35] Generalized formal concept analysis
Chaudron, L
Maille, N
CONCEPTUAL STRUCTURES: LOGICAL, LINGUISTIC, AND COMPUTATIONAL ISSUES, PROCEEDINGS, 2000, 1867 : 357 - 370
[36] THE CONCEPT OF THE FORMAL GRAMMATICAL WORD
LEONTEV, AA
LINGUISTICS, 1965, (JUN) : 33 - 39
[37] Concept Signatures and Semantic Drift
Gulla, Jon Atle
Solskinnsbakk, Geir
Myrseth, Per
Haderlein, Veronika
Cerrato, Olga
WEB INFORMATION SYSTEMS AND TECHNOLOGIES, 2011, 75 : 101 - +
[38] Innatism, Concept Formation, Concept Mastery and Formal Education
Winch, Christopher
JOURNAL OF PHILOSOPHY OF EDUCATION, 2015, 49 (04) : 539 - 556
[39] HaLoop Approach for Concept Generation in Formal Concept Analysis
Chunduri, Raghavendra K.
Cherukuri, Aswani Kumar
JOURNAL OF INFORMATION & KNOWLEDGE MANAGEMENT, 2018, 17 (03)
[40] Mining association concept based on formal concept analysis
Zhang, Zhuo
Li, Shijun
Journal of Computational Information Systems, 2010, 6 (03): : 783 - 792

← 1 2 3 4 5 →