Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets : Multi-session case.
Panupong SornkhomYongyuth PermpoontanalarpPublished in: IPDPS (2009)
Keyphrases
- security analysis
- coloured petri nets
- security requirements
- mutual authentication
- security model
- formal verification
- public key
- authentication protocol
- smart card
- security properties
- high security
- encryption scheme
- key exchange
- encryption algorithm
- secure electronic
- supply chain
- signature scheme
- information systems
- fine grained
- authentication scheme
- image compression
- elliptic curve cryptography