Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures (Q4931602)
From MaRDI portal
scientific article; zbMATH DE number 5793645
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures |
scientific article; zbMATH DE number 5793645 |
Statements
Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures (English)
0 references
29 September 2010
0 references
