Automatic Analysis of a Non-Repudiation Protocol.
Ruggero LanotteAndrea Maggiolo-SchettiniAngelo TroinaPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- automatic analysis
- multi party non repudiation
- trusted third party
- mobile payment
- lightweight
- secure electronic
- security requirements
- authentication protocol
- vessel tree
- formal analysis
- manual annotation
- tcp ip
- cryptographic protocols
- body movements
- digital signature
- file transfer
- communication protocols
- data dissemination
- digital libraries
- security model
- security protocols
- signature scheme
- electronic commerce
- distributed systems