Reduction of the intruder deduction problem into equational elementary deduction for electronic purse protocols with blind signatures (Q4931602)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Reduction of the intruder deduction problem into equational elementary deduction for electronic purse protocols with blind signatures |
scientific article; zbMATH DE number 5793645
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8401932120323181
0 references
0.8099853992462158
0 references
0.8045371770858765
0 references
0.7818263173103333
0 references
0.7798978090286255
0 references
