%0 Journal Article
%A Qianli Wang
%T Applying SPIN Checker on 5G EAP-TLS Authentication Protocol Analysis
%J Computer Science and Information Systems
%D 2024
%V 21
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2024_21_1_a5/
%F CSIS_2024_21_1_a5