A2.3. Pseudo-Code Example (伪代码示例)

A2.3. Pseudo-Code Example (伪代码示例)

以下伪代码说明了上述用于防重放和完整性检查的算法。'Seql'、'Tl'、'Th' 和 'W' 的值为 32 位无符号整数。算术运算是模 2^32。

     If (Tl >= W - 1)                            情况 A
         If (Seql >= Tl - W + 1)
             Seqh = Th
             If (Seql <= Tl)
                 If (pass replay check)
                     If (pass integrity check)
                         Set bit corresponding to Seql
                         Pass the packet on
                     Else reject packet
                 Else reject packet
             Else
                 If (pass integrity check)
                     Tl = Seql (shift bits)
                     Set bit corresponding to Seql
                     Pass the packet on
                 Else reject packet
         Else
             Seqh = Th + 1
             If (pass integrity check)
                 Tl = Seql (shift bits)
                 Th = Th + 1
                 Set bit corresponding to Seql
                 Pass the packet on
             Else reject packet
     Else                                    情况 B
         If (Seql >= Tl - W + 1)
             Seqh = Th - 1
             If (pass replay check)
                 If (pass integrity check)
                     Set the bit corresponding to Seql
                     Pass packet on
                 Else reject packet
             Else reject packet
         Else
             Seqh = Th
             If (Seql <= Tl)
                 If (pass replay check)
                     If (pass integrity check)
                         Set the bit corresponding to Seql
                         Pass packet on
                     Else reject packet
                 Else reject packet
             Else
                 If (pass integrity check)
                     Tl = Seql (shift bits)
                     Set the bit corresponding to Seql
                     Pass packet on
                 Else reject packet