Theodoros Balopoulos, Stefanos Gritzalis. Towards a Logic of Privacy-Preserving Selective Disclosure Credential Protocols. In 14th International Workshop on Database and Expert Systems Applications (DEXA 03), September 1-5, 2003, Prague, Czech Republic. pages 396-401, IEEE Computer Society, 2003. [doi]
Abstract is missing.