Stateful black-box fuzzing for encryption protocols and its application in IPsec.
Jiaxing GuoChunxiang GuXi ChenXieli ZhangKai TianJi LiPublished in: Comput. Networks (2024)
Keyphrases
- black box
- key exchange
- security analysis
- black boxes
- diffie hellman
- security properties
- secure communication
- white box
- key distribution
- white box testing
- authentication protocol
- hybrid systems
- rule extraction
- smart card
- test cases
- digital signature
- integration testing
- artificial intelligence
- public key
- mutual authentication
- object oriented
- standard model
- data sets
- security requirements
- network security
- open source
- relational databases
- databases