View Javadoc
1   /*
2    * License : The MIT License
3    * Copyright(c) 2022 Olyutorskii
4    */
5   
6   package io.github.olyutorskii.aletojio.bijection;
7   
8   import io.github.olyutorskii.aletojio.rng.RndInt32;
9   import java.util.Arrays;
10  import java.util.Objects;
11  
12  /**
13   * S-box Bijection confusion.
14   *
15   * <p>Takes a 32-bit integer as input and outputs a confused 32-bit integer.
16   * Substitution is done in 8-bit units.
17   *
18   * <p>S-box of AES(Rijndael) is available.
19   * Any Sbox with 8bit-entry can be specified.
20   *
21   * <p>If there is a 1-bit change in the input,
22   * we can expect a 4-bit change from the output.
23   *
24   * @see <a href="https://en.wikipedia.org/wiki/S-box">
25   * S-box (Wikipedia)
26   * </a>
27   * @see <a href="https://en.wikipedia.org/wiki/Rijndael_S-box">
28   * Rijndael S-box (Wikipedia)
29   * </a>
30   * @see <a href="https://en.wikipedia.org/wiki/Confusion_and_diffusion">
31   * Confusion_and_diffusion (Wikipedia)
32   * </a>
33   * @see <a href="https://en.wikipedia.org/wiki/Substitution%E2%80%93permutation_network">
34   * Substitution-permutation network (SPN) (Wikipedia)
35   * </a>
36   */
37  public class Sbox8x4 implements RndInt32 {
38  
39      private static final int SIZE_SBOX = 256;
40      private static final int MASK_BYTE = (1 << Byte.SIZE) - 1;
41  
42      // S-box table from AES.
43      // https://en.wikipedia.org/wiki/Rijndael_S-box
44      private static final int[] SBOX_RIJNDAEL = {
45          0x63, 0x7c, 0x77, 0x7b, 0xf2, 0x6b, 0x6f, 0xc5, 0x30, 0x01, 0x67, 0x2b, 0xfe, 0xd7, 0xab, 0x76,
46          0xca, 0x82, 0xc9, 0x7d, 0xfa, 0x59, 0x47, 0xf0, 0xad, 0xd4, 0xa2, 0xaf, 0x9c, 0xa4, 0x72, 0xc0,
47          0xb7, 0xfd, 0x93, 0x26, 0x36, 0x3f, 0xf7, 0xcc, 0x34, 0xa5, 0xe5, 0xf1, 0x71, 0xd8, 0x31, 0x15,
48          0x04, 0xc7, 0x23, 0xc3, 0x18, 0x96, 0x05, 0x9a, 0x07, 0x12, 0x80, 0xe2, 0xeb, 0x27, 0xb2, 0x75,
49          0x09, 0x83, 0x2c, 0x1a, 0x1b, 0x6e, 0x5a, 0xa0, 0x52, 0x3b, 0xd6, 0xb3, 0x29, 0xe3, 0x2f, 0x84,
50          0x53, 0xd1, 0x00, 0xed, 0x20, 0xfc, 0xb1, 0x5b, 0x6a, 0xcb, 0xbe, 0x39, 0x4a, 0x4c, 0x58, 0xcf,
51          0xd0, 0xef, 0xaa, 0xfb, 0x43, 0x4d, 0x33, 0x85, 0x45, 0xf9, 0x02, 0x7f, 0x50, 0x3c, 0x9f, 0xa8,
52          0x51, 0xa3, 0x40, 0x8f, 0x92, 0x9d, 0x38, 0xf5, 0xbc, 0xb6, 0xda, 0x21, 0x10, 0xff, 0xf3, 0xd2,
53          0xcd, 0x0c, 0x13, 0xec, 0x5f, 0x97, 0x44, 0x17, 0xc4, 0xa7, 0x7e, 0x3d, 0x64, 0x5d, 0x19, 0x73,
54          0x60, 0x81, 0x4f, 0xdc, 0x22, 0x2a, 0x90, 0x88, 0x46, 0xee, 0xb8, 0x14, 0xde, 0x5e, 0x0b, 0xdb,
55          0xe0, 0x32, 0x3a, 0x0a, 0x49, 0x06, 0x24, 0x5c, 0xc2, 0xd3, 0xac, 0x62, 0x91, 0x95, 0xe4, 0x79,
56          0xe7, 0xc8, 0x37, 0x6d, 0x8d, 0xd5, 0x4e, 0xa9, 0x6c, 0x56, 0xf4, 0xea, 0x65, 0x7a, 0xae, 0x08,
57          0xba, 0x78, 0x25, 0x2e, 0x1c, 0xa6, 0xb4, 0xc6, 0xe8, 0xdd, 0x74, 0x1f, 0x4b, 0xbd, 0x8b, 0x8a,
58          0x70, 0x3e, 0xb5, 0x66, 0x48, 0x03, 0xf6, 0x0e, 0x61, 0x35, 0x57, 0xb9, 0x86, 0xc1, 0x1d, 0x9e,
59          0xe1, 0xf8, 0x98, 0x11, 0x69, 0xd9, 0x8e, 0x94, 0x9b, 0x1e, 0x87, 0xe9, 0xce, 0x55, 0x28, 0xdf,
60          0x8c, 0xa1, 0x89, 0x0d, 0xbf, 0xe6, 0x42, 0x68, 0x41, 0x99, 0x2d, 0x0f, 0xb0, 0x54, 0xbb, 0x16,
61      };
62  
63      private static final String ERRMSG_LENGTH = "S-box table must be 256 entry";
64      private static final String ERRMSG_BIJECTION = "S-box table must be bijection";
65  
66  
67      private final RndInt32 rnd;
68      private final int[] sbox = new int[SIZE_SBOX];
69  
70  
71      /**
72       * Constructor.
73       *
74       * <p>S-box of AES(Rijndael) is used.
75       *
76       * @param rndArg random source
77       * @throws NullPointerException argument is null
78       * @throws IllegalArgumentException invalid S-box
79       */
80      public Sbox8x4(RndInt32 rndArg)
81              throws NullPointerException, IllegalArgumentException {
82          this(rndArg, SBOX_RIJNDAEL);
83          return;
84      }
85  
86      /**
87       * Constructor.
88       *
89       * <p>S-box table length must be 256.
90       *
91       * <p>S-box table must be bijection. (minimal perfect hash function)
92       *
93       * <p>{@code (sboxArg[253] = 119)} means substitution from 253 to 119.
94       *
95       * @param rndArg random source
96       * @param sboxArg S-box table
97       * @throws NullPointerException argument is null
98       * @throws IllegalArgumentException invalid S-box
99       */
100     public Sbox8x4(RndInt32 rndArg, int[] sboxArg)
101             throws NullPointerException, IllegalArgumentException {
102         super();
103         Objects.requireNonNull(rndArg);
104         Objects.requireNonNull(sboxArg);
105 
106         this.rnd = rndArg;
107 
108         checkSbox(sboxArg);
109         System.arraycopy(sboxArg, 0, this.sbox, 0, SIZE_SBOX);
110 
111         return;
112     }
113 
114 
115     /**
116      * Map int value with Rijndael(AES) table.
117      *
118      * @param iVal int value
119      * @return mapped value
120      */
121     public static int mapRijndael(int iVal) {
122         int result = mapTable(iVal, SBOX_RIJNDAEL);
123         return result;
124     }
125 
126     /**
127      * Map int value with specified S-box table.
128      *
129      * <p>There is no bijection check.
130      *
131      * @param iVal int value
132      * @param table S-box table
133      * @return mapped value
134      * @throws NullPointerException table is null
135      * @throws IndexOutOfBoundsException table is too small
136      */
137     public static int mapTable(int iVal, int[] table) {
138         int i0 =  iVal         & MASK_BYTE;
139         int i1 = (iVal >>>  8) & MASK_BYTE;
140         int i2 = (iVal >>> 16) & MASK_BYTE;
141         int i3 = (iVal >>> 24) & MASK_BYTE;
142 
143         int o0 = table[i0];
144         int o1 = table[i1];
145         int o2 = table[i2];
146         int o3 = table[i3];
147 
148         int result = (o3 << 24 | o2 << 16) | (o1 << 8 | o0);
149         return result;
150     }
151 
152     /**
153      * Check S-box table.
154      *
155      * <p>S-box table length must be 256.
156      *
157      * <p>S-box table must be bijection. (minimal perfect hash function)
158      *
159      * <p>{@code (sboxArg[253] = 119)} means substitution from 253 to 119.
160      *
161      * @param sboxArg S-box table
162      * @throws NullPointerException null argument
163      * @throws IllegalArgumentException size unmatch or not bijection detected
164      */
165     public static void checkSbox(int[] sboxArg)
166             throws NullPointerException, IllegalArgumentException {
167         Objects.requireNonNull(sboxArg);
168         if (sboxArg.length != SIZE_SBOX) {
169             throw new IllegalArgumentException(ERRMSG_LENGTH);
170         }
171 
172         // checking minimal perfect hash function or not
173         int[] sorted = Arrays.copyOf(sboxArg, SIZE_SBOX);
174         Arrays.sort(sorted);
175         for (int src = 0; src < SIZE_SBOX; src++) {
176             int dst = sorted[src];
177             if (dst != src) {
178                 throw new IllegalArgumentException(ERRMSG_BIJECTION);
179             }
180         }
181 
182         return;
183     }
184 
185 
186     /**
187      * {@inheritDoc}
188      *
189      * @return {@inheritDoc}
190      */
191     @Override
192     public int nextInt32() {
193         int iVal = this.rnd.nextInt32();
194         int result = mapTable(iVal, this.sbox);
195         return result;
196     }
197 
198 }