Formal analysis of a ttp-free blacklistable anonymous credentials system
W Wang, J Liu, Y Qin, D Feng - … , ICICS 2017, Beijing, China, December 6 …, 2018 - Springer
This paper firstly introduces a novel security definition for BLAC-like schemes (BLAC
represents TTP-free BLacklistable Anonymous Credentials) in symbolic model using applied …
represents TTP-free BLacklistable Anonymous Credentials) in symbolic model using applied …
Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System
W Wang, J Liu, Y Qin, D Feng - Information and Communications …, 2018 - books.google.com
This paper firstly introduces a novel security definition for BLAC-like schemes (BLAC
represents TTP-free BLacklistable Anonymous Credentials) in symbolic model using applied …
represents TTP-free BLacklistable Anonymous Credentials) in symbolic model using applied …
Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System
W Wang, J Liu, Y Qin, D Feng - Information and Communications Security - Springer
This paper firstly introduces a novel security definition for BLAC-like schemes (BLAC
represents TTP-free BLacklistable Anonymous Credentials) in symbolic model using applied …
represents TTP-free BLacklistable Anonymous Credentials) in symbolic model using applied …