Checking Service Instance Protection for AMF Configurations | IEEE Conference Publication | IEEE Xplore