Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System

DOI10.1007/978-3-319-89500-0_1zbMath1452.94108OpenAlexW2797327458MaRDI QIDQ3297470

Jingbin Liu, Weijin Wang, Y. Qin, Dengguo Feng

Publication date: 20 July 2020

Published in: Information and Communications Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-89500-0_1

zbMATH Keywords

formal analysisProVerifanonymous credentialBLACR

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

Related Items (1)

Attribute-based anonymous credential: optimization for single-use and multi-use

Uses Software

• ProVerif
• GitHub
• U-Prove

Cites Work

• Automated verification of selected equivalences for security protocols
• Universally Composable Direct Anonymous Attestation
• PE(AR)2: Privacy-Enhanced Anonymous Authentication with Reputation and Revocation
• Constant-Size Dynamic k-TAA
• Analyzing security protocols with secrecy types and logic programs
• ExBLACR: Extending BLACR System
• Proving More Observational Equivalences with ProVerif

This page was built for publication: Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System