%0 Journal Article
%T A Security Analysis Method for Security Protocol Implementations Based on Message Construction
%A Lu, Jintian
%A Yao, Lili
%A He, Xudong
%A Huang, Chintser
%A Wang, Dejun
%A Meng, Bo
%J Applied Sciences
%V 8
%N 12
%@ 2076-3417
%D 2018-12-08
%I Multidisciplinary Digital Publishing Institute
%~ DeepDyve