Towards Verification of Timed Non-repudiation Protocols.
Kun WeiJames HeatherPublished in: Formal Aspects in Security and Trust (2005)
Keyphrases
- multi party non repudiation
- cryptographic protocols
- model checking
- petri net
- timed automata
- verification method
- colored petri nets
- trusted third party
- secure electronic
- formal verification
- protocol specification
- electronic commerce
- security requirements
- discrete event
- database
- security analysis
- signature scheme
- case study
- signature verification
- digital signature
- formal methods
- fingerprint verification
- asynchronous circuits
- face verification
- multi party
- finite state machines
- mobile devices
- neural network