Deriving Security Protocols Based on Protocol Derivation System.
Ke YangMeihua XiaoZifan SongRi OuyangPublished in: NCTCS (2020)
Keyphrases
- security protocols
- authentication protocol
- cryptographic algorithms
- automated design
- security services
- cryptographic protocols
- security properties
- key management
- secure communication
- rfid tags
- security mechanisms
- artificial immune algorithm
- resource constrained
- ad hoc networks
- software systems
- operating system
- intrusion detection
- data management
- low cost
- database systems