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