An NP decision procedure for protocol insecurity with XOR (Q557799): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / author | |||
| Property / author: Michaël Rusinowitch / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68P25 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 94A60 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 2184041 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Verification | |||
| Property / zbMATH Keywords: Verification / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Security | |||
| Property / zbMATH Keywords: Security / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
XOR | |||
| Property / zbMATH Keywords: XOR / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Protocols | |||
| Property / zbMATH Keywords: Protocols / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Complexity | |||
| Property / zbMATH Keywords: Complexity / rank | |||
Normal rank | |||
Revision as of 14:09, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An NP decision procedure for protocol insecurity with XOR |
scientific article |
Statements
An NP decision procedure for protocol insecurity with XOR (English)
0 references
30 June 2005
0 references
Verification
0 references
Security
0 references
XOR
0 references
Protocols
0 references
Complexity
0 references
