Security Verification and Improvement of 5G AKA Protocol Based on Petri-net.
Zhiping YanChonglin GuYue GuHejiao HuangPublished in: ICCC (2021)
Keyphrases
- production system
- petri net model
- production process
- petri net
- colored petri nets
- cryptographic protocols
- multistage
- protocol specification
- security protocols
- discrete event systems
- contract net protocol
- manufacturing systems
- high security
- authentication protocol
- access control
- security analysis
- service composition
- information security
- security model
- security requirements
- process model
- fuzzy petri net
- stochastic petri net
- elliptic curve
- communication protocols
- security mechanisms
- concurrent systems
- concurrent processes
- high dimensional