A Formal Concept of Domain Pseudonymous Signatures
              Kamil Kluczniak, Lucjan Hanzlik, Miroslaw Kutylowski
                      Politechnika Wroclawska


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.  

Keywords:
domain pseudonymous signature,  unlinkability, deanonymization, formal model


Accepted for ISPEC 2016
to appear in LNCS, Springer-Verlag