%0 Journal Article
%T An enhanced state-aware model learning approach for security analysis in lightweight protocol implementations
%A Guo, Jiaxing
%A Zhao, Dongliang
%A Gu, Chunxiang
%A Chen, Xi
%A Zhang, Xieli
%A Ju, Mengcheng
%J Journal of Cloud Computing
%V 13
%N 1
%D 2024-01-30
%I Springer Berlin Heidelberg
%~ DeepDyve