On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol.
Susan Pancho-FestinDieter GollmannPublished in: Formal Aspects in Security and Trust (2005)
Keyphrases
- multi party non repudiation
- formal analysis
- trusted third party
- mobile payment
- lightweight
- provably secure
- signature scheme
- multi party
- operational semantics
- mathematical theory
- digital signature
- neural network
- authentication protocol
- key distribution
- communication protocols
- formal specification
- formal model
- statistical analysis
- network protocols
- file transfer
- distributed systems