Protocol Derivation System for the Needham-Schroeder family.
Junwei ZhangJianfeng MaChao YangPublished in: Secur. Commun. Networks (2015)
Keyphrases
- public key
- authentication protocol
- security analysis
- security model
- provably secure
- lightweight
- cryptographic protocols
- communication protocol
- multiple access
- special case
- artificial intelligence
- encryption scheme
- coloured petri nets
- network protocols
- key distribution
- signature scheme
- rfid tags
- databases
- real time
- security protocols
- database
- secret key
- application layer
- intrusion detection
- network simulator
- genetic algorithm
- data mining