Fig. 8From: An enhanced state-aware model learning approach for security analysis in lightweight protocol implementationsSimplified state-machine model of Libreswan with IKEv2 alphabetBack to article page