IKEv2 Protocol Fuzzing Test on Simulated ASA.

Yanpeng Cui Ting Yu Jianwei Hu

Published in: SmartIoT (2018)

Keyphrases

formal analysis
test cases
lightweight
learning algorithm
mobile robot
real time
databases
test data
simulation model
multi party
coloured petri nets