An improved low-cost yoking proof protocol based on Kazahaya's flaws.
Nasour BagheriMasoumeh SafkhaniMojtaba Eslamnezhad NaminSamad RostampourPublished in: J. Supercomput. (2018)
Keyphrases
- low cost
- formal proof
- low power
- coloured petri nets
- lightweight
- cryptographic protocols
- formal analysis
- linear logic
- single chip
- real time
- embedded systems
- highly efficient
- authentication protocol
- communication protocol
- network protocols
- theorem prover
- security protocols
- digital camera
- data acquisition
- cooperative
- complete axiomatization
- data sets