A2.3. Pseudo-Code Example (Exemple de pseudo-code)

A2.3. Pseudo-Code Example (Exemple de pseudo-code)

Le pseudo-code suivant illustre les algorithmes ci-dessus pour les contrôles anti-rejeu et d'intégrité. Les valeurs de 'Seql', 'Tl', 'Th' et 'W' sont des entiers non signés de 32 bits. L'arithmétique est mod 2^32.

     If (Tl >= W - 1)                            Cas 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                                    Cas 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