Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool.
Tao FengTaining ChenXiang GongPublished in: Inf. (2024)
Keyphrases
- security analysis
- colored petri nets
- mutual authentication
- authentication protocol
- public key
- security model
- smart card
- petri net
- security properties
- high security
- security requirements
- encryption scheme
- user authentication
- secure electronic
- formal model
- authentication scheme
- information systems
- elliptic curve cryptography
- lightweight