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