Formal Verification of the Security for Dual Connectivity in LTE | IEEE Conference Publication | IEEE Xplore