Commit ab0c2fc5 authored by Iztok Juvancic's avatar Iztok Juvancic
Browse files

valiadtion checks

parent 6ceb2770
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -91,6 +91,7 @@ module Lib_NG_NAS_Security_Functions {
            } else if (v_message.security_Protected_Nas_Message.securityHeaderType == tsc_SHT_IntegrityProtected_NewSecurityContext) { // Integrity & new context
                var NG_SECURITY_MODE_COMMAND v_ng_security_mode_command;
                var bitstring v_bs1 := oct2bit(v_message.security_Protected_Nas_Message.plainNASMessage);
                log(v_message.security_Protected_Nas_Message.plainNASMessage);
                if (decvalue(v_bs1, v_ng_security_mode_command) != 0) {
                    log("f_Check_5GAKA_NAS_DL_Message: decvalue failure for NG_SECURITY_MODE_COMMAND");
                    return false;