Security Analysis and Enhancement of INTERBUS Protocol in ICS Based on Colored Petri Net.
Tao FengChengfan LiuXiang GongYe LuPublished in: Inf. (2023)
Keyphrases
- security analysis
- colored petri nets
- petri net
- mutual authentication
- authentication protocol
- security model
- security requirements
- public key
- smart card
- high security
- key exchange
- security properties
- encryption scheme
- secure electronic
- web services
- user authentication
- authentication scheme
- image processing
- encryption algorithm
- query processing
- elliptic curve cryptography
- access control
- private key
- image compression
- distributed systems