An ECC-Based Off-line Anonymous Grouping-Proof Protocol.
Zhibin ZhouPin LiuQin LiuGuojun WangPublished in: SpaCCS (2017)
Keyphrases
- elliptic curve
- security analysis
- formal proof
- anonymous communication
- digital signature scheme
- elliptic curve cryptography
- theorem proving
- error correction
- lightweight
- cryptographic algorithms
- communication protocol
- payment scheme
- tcp ip
- grouping algorithm
- security protocols
- perceptual organization
- formal analysis
- coloured petri nets
- perceptual grouping
- cryptographic protocols
- communication protocols
- error correcting
- network protocols
- incentive mechanism
- file transfer
- sensor networks