- Research
- Open Access
A highly nonlinear S-box based on a fractional linear transformation
- Shabieh Farwa^{1}Email author,
- Tariq Shah^{2} and
- Lubna Idrees^{1}
- Received: 28 April 2016
- Accepted: 11 September 2016
- Published: 26 September 2016
Abstract
We study the structure of an S-box based on a fractional linear transformation applied on the Galois field \(GF(2^{8})\). The algorithm followed is very simple and yields an S-box with a very high ability to create confusion in the data. The cryptographic strength of the new S-box is critically analyzed by studying the properties of S-box such as nonlinearity, strict avalanche, bit independence, linear approximation probability and differential approximation probability. We also apply majority logic criterion to determine the effectiveness of our proposed S-box in image encryption applications.
Keywords
- S-box
- Galois field
- Fractional linear transformation
- Majority logic criterion
Background
The advanced encryption standard (AES) (Daemen and Rijmen 2002) is based on the substitution permutation network (SPN) which applies several layers of substitution and permutation. In any SPN, substitution followed by permutation is performed certain number of times to encrypt the plaintext into ciphertext in order to assure secure communication (Daemen and Rijmen 2002). The choice of a substitution box (S-box) (Shannon 1949) is the most sensitive step in determining the strength of a cryptosystem against several attacks. It is therefore essential to understand the design and properties of an S-box for encryption applications (Detombe and Tavares 1992). The improved quality of the S-Box to enhance the confusion creating capability in certain SPN has been a challenge for researchers.
In literature many algorithms for algebraically complex and cryptographically strong S-boxes, such as AES, APA, Gray, Skipjack, Xyi and Residue Prime (RP) S-boxes, are available. For the interest of readers we give a brief description of these structures. The AES S-box is based on the composition of inversion map and the affine transformation. It is a non-Feistel cipher. The algebraic expression of AES S-box is simple and involves only nine items (Daemen and Rijmen 2002). The structure of APA S-box uses composition of affine surjection, power function and again affine surjection. This design improves the algebraic complexity from 9 to 253 as compared to the AES S-box (Cui and Cao 2007). The Gray S-box is obtained from the AES S-box with an additional transform based on binary Gray codes. It inherits all the important cryptographic properties of AES S-box with an increased security against attacks (Tran et al. 2008). Skipjack is a Feistel network based on 32 rounds. This algorithm uses an 80-bit key to encrypt or decrypt 64-bit data blocks. The S-box based on Skipjack algorithm is also known as Skipjack F-table (Kim and Phan 2009). The XYi S-box is a mini version of a block cipher with block size of 8 bits. It has increased efficiency in computer applications (Shi et al. 2002). The Residue Prime S-box uses the field of residues of a prime number as an alternative to the Galois field based S-boxes (Abuelyman and Alsehibani 2008). These widely used S-boxes play the role of benchmarks in the field of cryptography. Among these, AES, APA and Gray S-boxes attain the highest nonlinearity measure 112. The S-box algorithm proposed in this framework produces high nonlinearity effect as achieved by the top S-boxes AES, APA and Gray, however, unlike these S-boxes, our S-box is structured by employing a single direct map rather the composition of two or more maps which makes this algorithm more efficient and economic in both software and hardware applications.
It is highly desired property for a cryptographically strong S-box to show good resistance towards linear and differential cryptanalysis (Biham and Shamir 1991; Matsui 1998). For a Boolean function f, the linear cryptanalysis is based on finding affine approximation to the action of a cipher (Nyberg 1993). Recently some efficient models are studied for S-boxes based on fractional linear transformations (Hussain et al. 2011, 2013a, b). S-box being the only nonlinear component in block cipher always requires high nonlinearity effect (Carlet and Ding 2004, 2007; Nyberg 1992, 1993). Motivated by some recently presented designs, we in this paper propose an algorithm to structure an \(8 \times 8\) S-box using fractional linear transformation applied on the Galois field \(GF(2^{8})\) which produces very high nonlinearity measure. We further analyse the properties of the new S-box by different commonly used tests such as nonlinearity, strict avalanche criterion (SAC), bit independent criterion (BIC), linear and differential approximation probability tests (LAPT, DAPT). We then compare the results with those for the famous S-boxes and observe that our new S-box, based on a simple and straightforward algorithm, produces coherent results.
The material presented in this paper is organized as follows. In “Algorithm for S-box” section we explain in detail the construction and major properties of the underlying Galois field \(GF(2^{8})\). We further discuss some interesting features of the fractional linear transformation and describe how this transformation is applied on the Galois field to structure the new S-box. “Analyses of S-box” section deals with the analysis of S-box against several common attacks and compares the cryptographic potential of our proposed S-box with other S-boxes such as AES, APA, Gray, Skipjack, Xyi and Residue Prime. In “Statistical analyses of S-box” section we perform some statistical analysis based on the image encryption application of the S-box and in “Conclusion” section we present conclusion regarding the significance of the new S-box when critically observed in comparison with the previously known models.
Algorithm for S-box
This section mainly deals with the structure of our S-box. Before we discuss the constituent algorithm, we need to go through some fundamental facts.
At this stage, it seems quite practical to understand the structural properties of the Galois field used to construct an S-box. Generally for any prime p, Galois field \(GF(p^{n})\) is given by the factor ring \({\mathbb {F}}_{p}[X]/ <\eta (x)>\) where \(\eta (x)\in {\mathbb {F}}_{p}[X]\) is an irreducible polynomial of degree n.
For an \(8 \times 8\) S-box, we use \(GF(2^{8})\). In advanced encryption standards (AES), the construction of \(GF(2^{8})\) is based on the degree 8 irreducible polynomial \(\eta (x)=x^{8}+x^{4}+x^{3}+x+1\). In Hussain et al. (2013b), \(\eta (x)=x^{8}+x^{4}+x^{3}+x^{2}+x+1\) is used as the generating polynomial. Here we choose \(\eta (x)=x^{8}+x^{6}+x^{5}+x^{4}+1\) as the irreducible polynomial that generates the maximal ideal \(<\eta (x)>\) of the principal ideal domain \({\mathbb {F}}_{2}[X]\). It is important to note that we may choose any degree 8 irreducible polynomial for constructing \(GF(2^{8})\) however the choice of generating polynomial may affect our calculations as the binary operations are carried modulo the used polynomial (see Benvenuto 2012 for details).
Generally the construction of an S-box requires a nonlinear bijective map. In literature many algorithms based on such maps or their compositions are presented to synthesize cryptographically strong S-boxes. We present the construction of S-box based on an invertible nonlinear map known as the fractional linear transformation. It is a function of the form \(\frac{az+b}{cz+d}\) generally defined on the complex plain \({\mathbb {C}}\) such that a, b, c and \(d \in {\mathbb {C}}\) satisfy the non-degeneracy condition \(ad-bc\ne 0\). The set of these transformations forms a group under the composition. The identity element in this group is the identity map and the the inverse \(\frac{dz-b}{-cz+a}\) of \(\frac{az+b}{cz+d}\) is assured by the condition \(ad-bc\ne 0\). One can easily observe that the algebraic expression of this map has a combined effect of inversion, dilation, rotation and translation. The nonlinearity and algebraic complexity of the fractional linear transformation motivates the idea to employ this map for byte substitution.
Images of g
\(t \in {\mathbb {Z}}_{2^{8}}\) | \(t\in GF(2^{8})\) | g(t) |
---|---|---|
0 | 00000000 | 124 |
1 | 00000001 | 18 |
. | . | . |
. | . | . |
. | . | . |
255 | 11111111 | 138 |
S-box
124 | 18 | 154 | 77 | 3 | 216 | 99 | 81 | 117 | 91 | 112 | 125 | 88 | 32 | 10 | 96 |
227 | 253 | 141 | 194 | 235 | 5 | 111 | 9 | 122 | 37 | 206 | 233 | 156 | 72 | 53 | 51 |
184 | 7 | 20 | 239 | 102 | 22 | 166 | 210 | 192 | 97 | 226 | 27 | 12 | 248 | 79 | 149 |
69 | 59 | 196 | 220 | 132 | 109 | 94 | 168 | 234 | 84 | 15 | 108 | 120 | 52 | 142 | 14 |
25 | 90 | 151 | 205 | 93 | 0 | 26 | 171 | 217 | 41 | 1 | 67 | 224 | 197 | 21 | 198 |
130 | 174 | 231 | 161 | 199 | 153 | 76 | 6 | 144 | 170 | 246 | 221 | 43 | 232 | 29 | 219 |
61 | 229 | 191 | 242 | 195 | 95 | 137 | 225 | 157 | 75 | 39 | 119 | 44 | 98 | 104 | 87 |
115 | 89 | 56 | 110 | 160 | 42 | 31 | 249 | 169 | 222 | 146 | 11 | 245 | 238 | 136 | 247 |
54 | 139 | 200 | 8 | 36 | 46 | 126 | 218 | 121 | 165 | 105 | 16 | 58 | 35 | 135 | 164 |
207 | 230 | 2 | 243 | 63 | 123 | 214 | 80 | 68 | 55 | 183 | 114 | 107 | 208 | 62 | 163 |
252 | 145 | 116 | 250 | 13 | 204 | 127 | 228 | 187 | 113 | 49 | 86 | 159 | 83 | 152 | 244 |
180 | 193 | 57 | 173 | 133 | 128 | 150 | 30 | 40 | 190 | 255 | 240 | 237 | 155 | 85 | 175 |
162 | 47 | 134 | 50 | 60 | 28 | 186 | 177 | 33 | 202 | 176 | 19 | 70 | 209 | 24 | 178 |
71 | 38 | 212 | 48 | 201 | 172 | 129 | 143 | 215 | 188 | 181 | 147 | 158 | 65 | 101 | 100 |
251 | 179 | 182 | 203 | 140 | 223 | 66 | 254 | 64 | 23 | 45 | 189 | 17 | 213 | 131 | 4 |
73 | 211 | 167 | 74 | 78 | 148 | 236 | 185 | 92 | 241 | 82 | 103 | 118 | 106 | 34 | 138 |
It is important to mention that an \(8 \times 8\) S-box has 8 constituent Boolean functions. A Boolean function f is balanced if \(\{x|f(x)=0\}\) and \(\{x|f(x)=1\}\) have same cardinality or the Hamming weight HW\((f)=2^{n-1}\). The significance of the balance property is that the higher the magnitude of a function’s imbalance, the more likelihood of a high probability linear approximation being obtained. Thus, the imbalance makes a Boolean function weak in terms of linear cryptanalysis. Furthermore, a function with a large imbalance can easily be approximated by a constant function. All the Boolean functions \(f_{i},\,i \le i \le 8\), involved in the S-box as shown in Table 2 satisfy the balance property. Hence, the proposed S-box is balanced. It might be of interest that in order to choose feasible parameters leading to balanced S-boxes satisfying all other desirable properties (as discussed in the next section), one can use constraint programming, a problem solving strategy which characterises the problem as a set of constraints over a set of variables (Kellen 2014; Ramamoorthy et al. 2011).
An S-box is used to convert the plain data into the encrypted data, it is therefore essential to investigate the comparative performance of the S-box. We, in the next section, analyse the newly designed S-box through various indices to establish the forte of our proposed S-box.
Analyses of S-box
For the assessment of the cryptographic strength of our S-box, in this section, we apply some widely used analysis techniques such as nonlinearity, bit independence, strict avalanche, linear and differential approximation probabilities etc. In the following subsections we present all these performance indices one by one.
Nonlinearity
The nonlinearity indicator counts the number of bits which must be altered in the truth table of a Boolean function to approach the nearest affine function.
Performance Indices for new S-box
Analysis | Max. | Min. | Average | Square deviation | The differential approximation probability | The linear approximation probability |
---|---|---|---|---|---|---|
Nonlinearity | 112 | 112 | 112 | |||
SAC | 0.5625 | 0.453125 | 0.510254 | 0.0165278 | ||
BIC | 112 | 112 | 0 | |||
DP | 0.015625 | |||||
LP | 144 | 0.0625 |
Comparison of performance indices for different S-boxes
S-box | Nonlinearity | SAC | BIC | DP | LP |
---|---|---|---|---|---|
AES | 112 | 0.5058 | 112.0 | 0.0156 | 0.062 |
APA | 112 | 0.4987 | 112.0 | 0.0156 | 0.062 |
Gray | 112 | 0.5058 | 112.0 | 0.0156 | 0.062 |
Skipjack | 105.7 | 0.4980 | 104.1 | 0.0468 | 0.109 |
Xyi | 105 | 0.5048 | 103.7 | 0.0468 | 0.156 |
RP | 99.5 | 0.5012 | 101.7 | 0.2810 | 0.132 |
New | 112 | 0.510254 | 112 | 0.015625 | 0.0625 |
Linear approximation probability
Differential approximation probability
Strict avalanche criterion
Bit independence criterion
The criterion of bit independence, introduced by Webster and Tavares (1986), is used to analyse the behaviour of bit patterns at the output and the effects of these changes in the subsequent rounds of encryption (Tran et al. 2008). For any vector Boolean function \(F:{\mathbb {F}}_{2}^{n}\rightarrow {\mathbb {F}}_{2}^{n}\), \(\forall \, i,j\) and \(k\in \{1,\,2,\ldots ,\,n\}\) with \(j\ne k\), inverting input bit i causes output bits j and k to change independently. In cryptographic systems it is highly desired to increase independence between bits as it makes harder to understand and forecast the design of the system.
Comparison of MLC for new S-box and different S-boxes
Images | Entropy | Contrast | Correlation | Energy | Homog. |
---|---|---|---|---|---|
Plain image | 7.4451 | 0.2100 | 0.9444 | 0.1455 | 0.9084 |
AES | 7.2531 | 7.5509 | 0.0554 | 0.0202 | 0.4662 |
APA | 7.2264 | 8.1195 | 0.1473 | 0.0183 | 0.4676 |
Gray | 7.2301 | 7.5283 | 0.0586 | 0.0203 | 0.4623 |
Skipjack | 7.2214 | 7.7058 | 0.1025 | 0.0193 | 0.4689 |
Xyi | 7.2207 | 8.3108 | 0.0417 | 0.0196 | 0.4533 |
RP | 7.2035 | 7.6236 | 0.0855 | 0.0202 | 0.4640 |
New | 7.2415 | 7.4568 | 0.0785 | 0.0223 | 0.4731 |
Statistical analyses of S-box
In this section we present some useful statistical analysis of the new and some famous S-boxes. We apply the majority logic criterion (Hussain et al. 2012) in order to determine the effectiveness of the proposed S-box in image encryption applications.
Results for encryption using new S-box in different noisy environments
Images | Entropy | Contrast | Correlation | Energy | Homog. |
---|---|---|---|---|---|
Plain image | 7.4451 | 0.2100 | 0.9444 | 0.1455 | 0.9084 |
Encryption at \(\sigma =25\) | 7.1936 | 7.3974 | 0.0068 | 0.0153 | 0.3934 |
Encryption at \(\sigma =50\) | 7.1545 | 7.2851 | 0.0043 | 0.0161 | 0.3992 |
Encryption at \(\sigma =75\) | 7.1269 | 6.5029 | 0.0015 | 0.0180 | 0.4133 |
Results for encryption using AES S-box in different noisy environments
Images | Entropy | Contrast | Correlation | Energy | Homog. |
---|---|---|---|---|---|
Encryption at \(\sigma =25\) | 7.1438 | 7.4417 | 0.0047 | 0.0159 | 0.3921 |
Encryption at \(\sigma =50\) | 7.0705 | 7.3104 | 0.0033 | 0.0162 | 0.3933 |
Encryption at \(\sigma =75\) | 7.0475 | 7.124 | 0.0017 | 0.0178 | 0.4023 |
Figure 6 shows the plain image of Lena and its encryption using the new S-box. It is quite obvious from the visual results that our method of encryption creates acceptable level of confusion.
For an image, its histogram graphically represents image-pixels distribution by plotting the number of pixels at each intensity level (Ramirez-Torres et al. 2014). It has been established that the histogram of the original and the encrypted image should be significantly different so that attackers could not extract the original image from the encrypted one. Figure 7 shows the respective histograms of Lena’s plain image and its encrypted version. The histogram analysis evidently proves the stability of our proposed method against any histogram based attacks.
Based on the experimental results regarding the overall performance of our proposed algorithm, it is demonstrated that the newly synthesized S-box satisfies all the criteria of acceptability to be used for secure communication.
Conclusion
In this work we propose an S-box structured by an extremely simple and direct algorithm. Its strength is analyzed by several tests and it is self-evident that its confusion creating capability is quite high as compared to some other very famous S-boxes. The algebraic complexity based on the fractional linear transformation produces ideal results that make this S-box authentic and more reliable.
Declarations
Authors' contributions
The corresponding author acknowledges that every author has agreed with the information contained in the author role, originality, and competition of interest. All authors read and approved the final manuscript.
Acknowledgements
The authors are thankful to the anonymous reviewers for their constructive suggestions to improve the quality of the presented work. They also express gratitude to BioMed Central for waiving the cost of processing this manuscript.
Competing interests
The authors declare that they have no competing interests.
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Abuelyman ES, Alsehibani AAS (2008) An optimized implementation of the S-box using residue of prime numbers. Int J Comput Sci Netw Secur 8:304–309Google Scholar
- Bao L, Zhou Y (2015) Image encryption: generating visually meaningful encrypted images. Inf Sci 324(10):197–207MathSciNetView ArticleGoogle Scholar
- Benvenuto CJ (2012) Galois field in cryptography. University of Washington, SeattleGoogle Scholar
- Biham E, Shamir A (1991) Differential cryptanalysis of DES-like cryptosystems. J Cryptol 4(1):3–72MathSciNetView ArticleMATHGoogle Scholar
- Carlet C, Ding C (2004) Highly nonlinear mappings. J Complex 20:205–244MathSciNetView ArticleMATHGoogle Scholar
- Carlet C, Ding C (2007) Nonlinearity of S-boxes. Finite fields and their applications 13:121–135MathSciNetView ArticleMATHGoogle Scholar
- Cui L, Cao Y (2007) A new S-box structure named Affine-Power-Affine. Int J Innov Comput I 3(3):45–53Google Scholar
- Daemen J, Rijmen V (2002) The design of Rijndael-AES: the advanced encrytion standard. Springer, BerlinView ArticleMATHGoogle Scholar
- Detombe J, Tavares S (1992) Constructing large cryptographically strong S-boxes. In: Advances in cryptology-AUSCRYP’92. Lecture notes in computer science, vol 718, pp 165–181Google Scholar
- Gao T, Chen Z (2008) A new image encryption algorithm based on hyper-chaos. Phys Lett A 372(4):394–400ADSMathSciNetView ArticleMATHGoogle Scholar
- Hussain I, Shah T, Gondal MA, Khan M, Khan WA (2011) Construction of new S-box using linear fractiional transformation. World Appl Sci J 14(12):1779–1785Google Scholar
- Hussain I, Shah T, Gondal MA, Mahmood H (2012) Generalized majority logic criterion to analyze the statistical strength of S-boxes. Z Naturforsch A 67:282–288ADSView ArticleGoogle Scholar
- Hussain I, Shah T, Gondal MA, Khan WA, Mahmood H (2013) A group theoretic approach to construct cryptographically strong substitution boxes. Neural Comput Appl 23(1):97–104View ArticleGoogle Scholar
- Hussain I, Shah T, Mahmood H, Gondal MA (2013) A projective general linear group based algorithm for the construction of substitution box for block ciphers. Neural Comput Appl 22(6):1085–1093View ArticleGoogle Scholar
- Kellen D (2014) Implementation of bit-vector variables in a CP solver, with an application to the generation of cryptographic S-boxes. In: Masters Dissertation Uppsala UniversitetGoogle Scholar
- Kim J, Phan RCW (2009) Advanced differential-style crypt-analysis of the NSA’s skipjack block cipher. Cryptologia 33(3):246–270View ArticleMATHGoogle Scholar
- Matsui M (1998) Linear cryptanalysis method for DES cipher. In: Proceedings of EUROCRYPT’93. Springer, Berlin, pp 386–397Google Scholar
- Murguia JS, Flores-Erana G, Carlos MM, Rosu HC (2012) Matrix approach of an encryption system based on cellular automata and its numerical implementation. Int J Mod Phys C23(11):1250078ADSView ArticleGoogle Scholar
- Nyberg K (1992) Perfect nonlinear S-boxes. In: Advances in cryptology-EUROCRYPT’91. Lecture notes in computer science, vol 457. Springer, pp 378–386Google Scholar
- Nyberg K (1993) On the construction of highly nonlinear permutations. In: Advances in cryptology-EUROCRYPT’92. Lecture notes in computer science, vol 658. Springer, Heidelberg, pp 92–98Google Scholar
- Ramamoorthy V, Silaghi MC, Matsui T, Hirayama K, Yokoo M (2011) The design of cryptographic S-boxes using CSPs. In: Principles and practice of constraint programming. Lecture notes in computer science, vol 6876. Springer, Berlin, pp 54–68Google Scholar
- Ramirez-Torres MT, Murguia JS, Carlos MM (2014) Image encryption with an improved cryptosystem based on a matrix approach. Int J Mod Phys C25(10):1450054ADSView ArticleGoogle Scholar
- Shannon CE (1949) Communication theory of secrecy systems. Bell Syst Tech J 28:656–715MathSciNetView ArticleMATHGoogle Scholar
- Shi XY, You XCXH, Lam KY (2002) A method for obtaining cryptographically strong \(8\times 8\) S-boxes. Int Conf Inf Netw Appl 2(3):14–20Google Scholar
- Tran MT, Bui DK, Doung AD (2008) Gray S-box for advanced encryption standard. In: International conference computational intelligence and security, pp 253–256Google Scholar
- Vargas-Olmos C, Murguia JS, Ramirez-Torres MT, Carlos MM, Rosu HC, Gonzalez Aguilar H (2015) Two-dimensional DFA scaling analysis applied to encrypted images. Int J Mod Phys C26(08):1550093ADSMathSciNetView ArticleGoogle Scholar
- Vargas-Olmos C, Murguia JS, Ramirez-Torres MT, Carlos MM, Rosu HC, Gonzalez-Aguilar H (2016) Perceptual security of encrypted images based on wavelet scaling analysis. Phys A 456:22–30View ArticleGoogle Scholar
- Webster AF, Tavares SE (1986) On the design of s-boxes. In: Advances in cryptology: proceedings of CRYPTO’85. Springer, Berlin, pp 523–534Google Scholar