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 条

[21] Monadic Formal Concept Analysis
Eklund, Patrik
Galan Garcia, Maria Angeles
Kortelainen, Jari
Ojeda-Aciego, Manuel
ROUGH SETS AND CURRENT TRENDS IN SOFT COMPUTING, RSCTC 2014, 2014, 8536 : 201 - 210
[22] THE CONCEPT OF FORMAL ANALYSIS AND DIALECTICS
NARSKII, IS
SOVIET STUDIES IN PHILOSOPHY, 1964, 2 (04): : 45 - 56
[23] Fuzzy Formal Concept Analysis
Brito, Abner
Barros, Laecio
Laureano, Estevao
Bertato, Fabio
Coniglio, Marcelo
FUZZY INFORMATION PROCESSING, NAFIPS 2018, 2018, 831 : 192 - 205
[24] An Invitation to Formal Concept Analysis
Hanika, Tom
GRAPH-BASED REPRESENTATION AND REASONING (ICCS 2019), 2019, 11530 : XX - XXII
[25] On the Calculation of Formal Concept Stability
Zhi, Hui-lai
JOURNAL OF APPLIED MATHEMATICS, 2014,
[26] Bireducts in Formal Concept Analysis
Jose Benitez-Caballero, M.
Medina-Moreno, Jesus
Ramirez-Poussa, Eloisa
COMPUTATIONAL INTELLIGENCE AND MATHEMATICS FOR TACKLING COMPLEX PROBLEMS, 2020, 819 : 191 - 198
[27] Formal rough concept analysis
Saquer, J
Deogun, JS
NEW DIRECTIONS IN ROUGH SETS, DATA MINING, AND GRANULAR-SOFT COMPUTING, 1999, 1711 : 91 - 99
[28] Concepts of Formal Concept Analysis
Zacek, Martin
Homola, Dan
Miarka, Rostislav
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2016 (ICNAAM-2016), 2017, 1863
[29] Approximation in formal concept analysis
Shao, MW
Zhang, WX
ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, PT 1, PROCEEDINGS, 2005, 3641 : 43 - 53
[30] ARISTOTLES CONCEPT OF FORMAL TOPICS
OCHS, DJ
SPEECH MONOGRAPHS, 1969, 36 (04): : 419 - 425

← 1 2 3 4 5 →