Security Analysis of Micali's Fair Contract Signing Protocol by Using Coloured Petri Nets.
Panupong SornkhomYongyuth PermpoontanalarpPublished in: SNPD (2008)
Keyphrases
- security analysis
- coloured petri nets
- public key
- security requirements
- smart card
- signature scheme
- high security
- formal verification
- security model
- mutual authentication
- encryption algorithm
- security properties
- authentication protocol
- key exchange
- user authentication
- elliptic curve cryptography
- encryption scheme
- secure electronic
- supply chain
- authentication scheme
- cost effective
- private key