Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System (Q3297470): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Analyzing security protocols with secrecy types and logic programs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Constant-Size Dynamic k-TAA / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Automated verification of selected equivalences for security protocols / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Universally Composable Direct Anonymous Attestation / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Proving More Observational Equivalences with ProVerif / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: ExBLACR: Extending BLACR System / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: PE(AR)2: Privacy-Enhanced Anonymous Authentication with Reputation and Revocation / rank | |||
Normal rank | |||
Latest revision as of 02:54, 23 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System |
scientific article |
Statements
Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System (English)
0 references
20 July 2020
0 references
formal analysis
0 references
anonymous credential
0 references
ProVerif
0 references
BLACR
0 references
