Fig. 4From: An enhanced state-aware model learning approach for security analysis in lightweight protocol implementationsDetailed framework of state-aware model learning methodBack to article page