1 /*
2  * Copyright (c) 2017, 2018, Oracle and/or its affiliates. All rights reserved.
3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4  *
5  * This code is free software; you can redistribute it and/or modify it
6  * under the terms of the GNU General Public License version 2 only, as
7  * published by the Free Software Foundation.  Oracle designates this
8  * particular file as subject to the "Classpath" exception as provided
9  * by Oracle in the LICENSE file that accompanied this code.
10  *
11  * This code is distributed in the hope that it will be useful, but WITHOUT
12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14  * version 2 for more details (a copy is included in the LICENSE file that
15  * accompanied this code).
16  *
17  * You should have received a copy of the GNU General Public License version
18  * 2 along with this work; if not, write to the Free Software Foundation,
19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20  *
21  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22  * or visit www.oracle.com if you need additional information or have any
23  * questions.
24  */
25 
26 package sun.security.ssl;
27 
28 import java.math.BigInteger;
29 import java.security.*;
30 import java.util.Collections;
31 import java.util.HashMap;
32 import java.util.Map;
33 import java.util.regex.Matcher;
34 import java.util.regex.Pattern;
35 import javax.crypto.spec.DHParameterSpec;
36 
37 /**
38  * Predefined default DH ephemeral parameters.
39  */
40 final class PredefinedDHParameterSpecs {
41 
42     //
43     // Default DH ephemeral parameters
44     //
45     private static final BigInteger p512 = new BigInteger(       // generated
46             "D87780E15FF50B4ABBE89870188B049406B5BEA98AB23A02" +
47             "41D88EA75B7755E669C08093D3F0CA7FC3A5A25CF067DCB9" +
48             "A43DD89D1D90921C6328884461E0B6D3", 16);
49     private static final BigInteger p768 = new BigInteger(       // RFC 2409
50             "FFFFFFFFFFFFFFFFC90FDAA22168C234C4C6628B80DC1CD1" +
51             "29024E088A67CC74020BBEA63B139B22514A08798E3404DD" +
52             "EF9519B3CD3A431B302B0A6DF25F14374FE1356D6D51C245" +
53             "E485B576625E7EC6F44C42E9A63A3620FFFFFFFFFFFFFFFF", 16);
54 
55     private static final BigInteger p1024 = new BigInteger(      // RFC 2409
56             "FFFFFFFFFFFFFFFFC90FDAA22168C234C4C6628B80DC1CD1" +
57             "29024E088A67CC74020BBEA63B139B22514A08798E3404DD" +
58             "EF9519B3CD3A431B302B0A6DF25F14374FE1356D6D51C245" +
59             "E485B576625E7EC6F44C42E9A637ED6B0BFF5CB6F406B7ED" +
60             "EE386BFB5A899FA5AE9F24117C4B1FE649286651ECE65381" +
61             "FFFFFFFFFFFFFFFF", 16);
62     private static final BigInteger p1536 = new BigInteger(      // RFC 3526
63             "FFFFFFFFFFFFFFFFC90FDAA22168C234C4C6628B80DC1CD1" +
64             "29024E088A67CC74020BBEA63B139B22514A08798E3404DD" +
65             "EF9519B3CD3A431B302B0A6DF25F14374FE1356D6D51C245" +
66             "E485B576625E7EC6F44C42E9A637ED6B0BFF5CB6F406B7ED" +
67             "EE386BFB5A899FA5AE9F24117C4B1FE649286651ECE45B3D" +
68             "C2007CB8A163BF0598DA48361C55D39A69163FA8FD24CF5F" +
69             "83655D23DCA3AD961C62F356208552BB9ED529077096966D" +
70             "670C354E4ABC9804F1746C08CA237327FFFFFFFFFFFFFFFF", 16);
71     private static final BigInteger p2048 = new BigInteger(      // TLS FFDHE
72             "FFFFFFFFFFFFFFFFADF85458A2BB4A9AAFDC5620273D3CF1" +
73             "D8B9C583CE2D3695A9E13641146433FBCC939DCE249B3EF9" +
74             "7D2FE363630C75D8F681B202AEC4617AD3DF1ED5D5FD6561" +
75             "2433F51F5F066ED0856365553DED1AF3B557135E7F57C935" +
76             "984F0C70E0E68B77E2A689DAF3EFE8721DF158A136ADE735" +
77             "30ACCA4F483A797ABC0AB182B324FB61D108A94BB2C8E3FB" +
78             "B96ADAB760D7F4681D4F42A3DE394DF4AE56EDE76372BB19" +
79             "0B07A7C8EE0A6D709E02FCE1CDF7E2ECC03404CD28342F61" +
80             "9172FE9CE98583FF8E4F1232EEF28183C3FE3B1B4C6FAD73" +
81             "3BB5FCBC2EC22005C58EF1837D1683B2C6F34A26C1B2EFFA" +
82             "886B423861285C97FFFFFFFFFFFFFFFF", 16);
83     private static final BigInteger p3072 = new BigInteger(      // TLS FFDHE
84             "FFFFFFFFFFFFFFFFADF85458A2BB4A9AAFDC5620273D3CF1" +
85             "D8B9C583CE2D3695A9E13641146433FBCC939DCE249B3EF9" +
86             "7D2FE363630C75D8F681B202AEC4617AD3DF1ED5D5FD6561" +
87             "2433F51F5F066ED0856365553DED1AF3B557135E7F57C935" +
88             "984F0C70E0E68B77E2A689DAF3EFE8721DF158A136ADE735" +
89             "30ACCA4F483A797ABC0AB182B324FB61D108A94BB2C8E3FB" +
90             "B96ADAB760D7F4681D4F42A3DE394DF4AE56EDE76372BB19" +
91             "0B07A7C8EE0A6D709E02FCE1CDF7E2ECC03404CD28342F61" +
92             "9172FE9CE98583FF8E4F1232EEF28183C3FE3B1B4C6FAD73" +
93             "3BB5FCBC2EC22005C58EF1837D1683B2C6F34A26C1B2EFFA" +
94             "886B4238611FCFDCDE355B3B6519035BBC34F4DEF99C0238" +
95             "61B46FC9D6E6C9077AD91D2691F7F7EE598CB0FAC186D91C" +
96             "AEFE130985139270B4130C93BC437944F4FD4452E2D74DD3" +
97             "64F2E21E71F54BFF5CAE82AB9C9DF69EE86D2BC522363A0D" +
98             "ABC521979B0DEADA1DBF9A42D5C4484E0ABCD06BFA53DDEF" +
99             "3C1B20EE3FD59D7C25E41D2B66C62E37FFFFFFFFFFFFFFFF", 16);
100     private static final BigInteger p4096 = new BigInteger(      // TLS FFDHE
101             "FFFFFFFFFFFFFFFFADF85458A2BB4A9AAFDC5620273D3CF1" +
102             "D8B9C583CE2D3695A9E13641146433FBCC939DCE249B3EF9" +
103             "7D2FE363630C75D8F681B202AEC4617AD3DF1ED5D5FD6561" +
104             "2433F51F5F066ED0856365553DED1AF3B557135E7F57C935" +
105             "984F0C70E0E68B77E2A689DAF3EFE8721DF158A136ADE735" +
106             "30ACCA4F483A797ABC0AB182B324FB61D108A94BB2C8E3FB" +
107             "B96ADAB760D7F4681D4F42A3DE394DF4AE56EDE76372BB19" +
108             "0B07A7C8EE0A6D709E02FCE1CDF7E2ECC03404CD28342F61" +
109             "9172FE9CE98583FF8E4F1232EEF28183C3FE3B1B4C6FAD73" +
110             "3BB5FCBC2EC22005C58EF1837D1683B2C6F34A26C1B2EFFA" +
111             "886B4238611FCFDCDE355B3B6519035BBC34F4DEF99C0238" +
112             "61B46FC9D6E6C9077AD91D2691F7F7EE598CB0FAC186D91C" +
113             "AEFE130985139270B4130C93BC437944F4FD4452E2D74DD3" +
114             "64F2E21E71F54BFF5CAE82AB9C9DF69EE86D2BC522363A0D" +
115             "ABC521979B0DEADA1DBF9A42D5C4484E0ABCD06BFA53DDEF" +
116             "3C1B20EE3FD59D7C25E41D2B669E1EF16E6F52C3164DF4FB" +
117             "7930E9E4E58857B6AC7D5F42D69F6D187763CF1D55034004" +
118             "87F55BA57E31CC7A7135C886EFB4318AED6A1E012D9E6832" +
119             "A907600A918130C46DC778F971AD0038092999A333CB8B7A" +
120             "1A1DB93D7140003C2A4ECEA9F98D0ACC0A8291CDCEC97DCF" +
121             "8EC9B55A7F88A46B4DB5A851F44182E1C68A007E5E655F6A" +
122             "FFFFFFFFFFFFFFFF", 16);
123     private static final BigInteger p6144 = new BigInteger(      // TLS FFDHE
124             "FFFFFFFFFFFFFFFFADF85458A2BB4A9AAFDC5620273D3CF1" +
125             "D8B9C583CE2D3695A9E13641146433FBCC939DCE249B3EF9" +
126             "7D2FE363630C75D8F681B202AEC4617AD3DF1ED5D5FD6561" +
127             "2433F51F5F066ED0856365553DED1AF3B557135E7F57C935" +
128             "984F0C70E0E68B77E2A689DAF3EFE8721DF158A136ADE735" +
129             "30ACCA4F483A797ABC0AB182B324FB61D108A94BB2C8E3FB" +
130             "B96ADAB760D7F4681D4F42A3DE394DF4AE56EDE76372BB19" +
131             "0B07A7C8EE0A6D709E02FCE1CDF7E2ECC03404CD28342F61" +
132             "9172FE9CE98583FF8E4F1232EEF28183C3FE3B1B4C6FAD73" +
133             "3BB5FCBC2EC22005C58EF1837D1683B2C6F34A26C1B2EFFA" +
134             "886B4238611FCFDCDE355B3B6519035BBC34F4DEF99C0238" +
135             "61B46FC9D6E6C9077AD91D2691F7F7EE598CB0FAC186D91C" +
136             "AEFE130985139270B4130C93BC437944F4FD4452E2D74DD3" +
137             "64F2E21E71F54BFF5CAE82AB9C9DF69EE86D2BC522363A0D" +
138             "ABC521979B0DEADA1DBF9A42D5C4484E0ABCD06BFA53DDEF" +
139             "3C1B20EE3FD59D7C25E41D2B669E1EF16E6F52C3164DF4FB" +
140             "7930E9E4E58857B6AC7D5F42D69F6D187763CF1D55034004" +
141             "87F55BA57E31CC7A7135C886EFB4318AED6A1E012D9E6832" +
142             "A907600A918130C46DC778F971AD0038092999A333CB8B7A" +
143             "1A1DB93D7140003C2A4ECEA9F98D0ACC0A8291CDCEC97DCF" +
144             "8EC9B55A7F88A46B4DB5A851F44182E1C68A007E5E0DD902" +
145             "0BFD64B645036C7A4E677D2C38532A3A23BA4442CAF53EA6" +
146             "3BB454329B7624C8917BDD64B1C0FD4CB38E8C334C701C3A" +
147             "CDAD0657FCCFEC719B1F5C3E4E46041F388147FB4CFDB477" +
148             "A52471F7A9A96910B855322EDB6340D8A00EF092350511E3" +
149             "0ABEC1FFF9E3A26E7FB29F8C183023C3587E38DA0077D9B4" +
150             "763E4E4B94B2BBC194C6651E77CAF992EEAAC0232A281BF6" +
151             "B3A739C1226116820AE8DB5847A67CBEF9C9091B462D538C" +
152             "D72B03746AE77F5E62292C311562A846505DC82DB854338A" +
153             "E49F5235C95B91178CCF2DD5CACEF403EC9D1810C6272B04" +
154             "5B3B71F9DC6B80D63FDD4A8E9ADB1E6962A69526D43161C1" +
155             "A41D570D7938DAD4A40E329CD0E40E65FFFFFFFFFFFFFFFF", 16);
156     private static final BigInteger p8192 = new BigInteger(      // TLS FFDHE
157             "FFFFFFFFFFFFFFFFADF85458A2BB4A9AAFDC5620273D3CF1" +
158             "D8B9C583CE2D3695A9E13641146433FBCC939DCE249B3EF9" +
159             "7D2FE363630C75D8F681B202AEC4617AD3DF1ED5D5FD6561" +
160             "2433F51F5F066ED0856365553DED1AF3B557135E7F57C935" +
161             "984F0C70E0E68B77E2A689DAF3EFE8721DF158A136ADE735" +
162             "30ACCA4F483A797ABC0AB182B324FB61D108A94BB2C8E3FB" +
163             "B96ADAB760D7F4681D4F42A3DE394DF4AE56EDE76372BB19" +
164             "0B07A7C8EE0A6D709E02FCE1CDF7E2ECC03404CD28342F61" +
165             "9172FE9CE98583FF8E4F1232EEF28183C3FE3B1B4C6FAD73" +
166             "3BB5FCBC2EC22005C58EF1837D1683B2C6F34A26C1B2EFFA" +
167             "886B4238611FCFDCDE355B3B6519035BBC34F4DEF99C0238" +
168             "61B46FC9D6E6C9077AD91D2691F7F7EE598CB0FAC186D91C" +
169             "AEFE130985139270B4130C93BC437944F4FD4452E2D74DD3" +
170             "64F2E21E71F54BFF5CAE82AB9C9DF69EE86D2BC522363A0D" +
171             "ABC521979B0DEADA1DBF9A42D5C4484E0ABCD06BFA53DDEF" +
172             "3C1B20EE3FD59D7C25E41D2B669E1EF16E6F52C3164DF4FB" +
173             "7930E9E4E58857B6AC7D5F42D69F6D187763CF1D55034004" +
174             "87F55BA57E31CC7A7135C886EFB4318AED6A1E012D9E6832" +
175             "A907600A918130C46DC778F971AD0038092999A333CB8B7A" +
176             "1A1DB93D7140003C2A4ECEA9F98D0ACC0A8291CDCEC97DCF" +
177             "8EC9B55A7F88A46B4DB5A851F44182E1C68A007E5E0DD902" +
178             "0BFD64B645036C7A4E677D2C38532A3A23BA4442CAF53EA6" +
179             "3BB454329B7624C8917BDD64B1C0FD4CB38E8C334C701C3A" +
180             "CDAD0657FCCFEC719B1F5C3E4E46041F388147FB4CFDB477" +
181             "A52471F7A9A96910B855322EDB6340D8A00EF092350511E3" +
182             "0ABEC1FFF9E3A26E7FB29F8C183023C3587E38DA0077D9B4" +
183             "763E4E4B94B2BBC194C6651E77CAF992EEAAC0232A281BF6" +
184             "B3A739C1226116820AE8DB5847A67CBEF9C9091B462D538C" +
185             "D72B03746AE77F5E62292C311562A846505DC82DB854338A" +
186             "E49F5235C95B91178CCF2DD5CACEF403EC9D1810C6272B04" +
187             "5B3B71F9DC6B80D63FDD4A8E9ADB1E6962A69526D43161C1" +
188             "A41D570D7938DAD4A40E329CCFF46AAA36AD004CF600C838" +
189             "1E425A31D951AE64FDB23FCEC9509D43687FEB69EDD1CC5E" +
190             "0B8CC3BDF64B10EF86B63142A3AB8829555B2F747C932665" +
191             "CB2C0F1CC01BD70229388839D2AF05E454504AC78B758282" +
192             "2846C0BA35C35F5C59160CC046FD8251541FC68C9C86B022" +
193             "BB7099876A460E7451A8A93109703FEE1C217E6C3826E52C" +
194             "51AA691E0E423CFC99E9E31650C1217B624816CDAD9A95F9" +
195             "D5B8019488D9C0A0A1FE3075A577E23183F81D4A3F2FA457" +
196             "1EFC8CE0BA8A4FE8B6855DFE72B0A66EDED2FBABFBE58A30" +
197             "FAFABE1C5D71A87E2F741EF8C1FE86FEA6BBFDE530677F0D" +
198             "97D11D49F7A8443D0822E506A9F4614E011E2A94838FF88C" +
199             "D68C8BB7C5C6424CFFFFFFFFFFFFFFFF", 16);
200 
201     private static final BigInteger[] supportedPrimes = {
202             p512, p768, p1024, p1536, p2048, p3072, p4096, p6144, p8192};
203 
204     private static final BigInteger[] ffdhePrimes = {
205             p2048, p3072, p4096, p6144, p8192};
206 
207     // a measure of the uncertainty that prime modulus p is not a prime
208     //
209     // see BigInteger.isProbablePrime(int certainty)
210     private static final int PRIME_CERTAINTY = 120;
211 
212     // the known security property, jdk.tls.server.defaultDHEParameters
213     private static final String PROPERTY_NAME =
214             "jdk.tls.server.defaultDHEParameters";
215 
216     private static final Pattern spacesPattern = Pattern.compile("\\s+");
217 
218     private static final Pattern syntaxPattern = Pattern.compile(
219             "(\\{[0-9A-Fa-f]+,[0-9A-Fa-f]+\\})" +
220             "(,\\{[0-9A-Fa-f]+,[0-9A-Fa-f]+\\})*");
221 
222     private static final Pattern paramsPattern = Pattern.compile(
223             "\\{([0-9A-Fa-f]+),([0-9A-Fa-f]+)\\}");
224 
225     // cache of predefined default DH ephemeral parameters
226     static final Map<Integer, DHParameterSpec> definedParams;
227 
228     // cache of Finite Field DH Ephemeral parameters (RFC 7919/FFDHE)
229     static final Map<Integer, DHParameterSpec> ffdheParams;
230 
231     static {
232         String property = AccessController.doPrivileged(
233             new PrivilegedAction<String>() {
234                 public String run() {
235                     return Security.getProperty(PROPERTY_NAME);
236                 }
237             });
238 
239         if (property != null && !property.isEmpty()) {
240             // remove double quote marks from beginning/end of the property
241             if (property.length() >= 2 && property.charAt(0) == '"' &&
242                     property.charAt(property.length() - 1) == '"') {
243                 property = property.substring(1, property.length() - 1);
244             }
245 
246             property = property.trim();
247         }
248 
249         if (property != null && !property.isEmpty()) {
250             Matcher spacesMatcher = spacesPattern.matcher(property);
251             property = spacesMatcher.replaceAll("");
252 
253             if (SSLLogger.isOn && SSLLogger.isOn("sslctx")) {
254                 SSLLogger.fine(
255                         "The Security Property " +
256                         PROPERTY_NAME + ": " + property);
257             }
258         }
259 
260         Map<Integer,DHParameterSpec> defaultParams = new HashMap<>();
261         if (property != null && !property.isEmpty()) {
262             Matcher syntaxMatcher = syntaxPattern.matcher(property);
263             if (syntaxMatcher.matches()) {
264                 Matcher paramsFinder = paramsPattern.matcher(property);
265                 while(paramsFinder.find()) {
266                     String primeModulus = paramsFinder.group(1);
267                     BigInteger p = new BigInteger(primeModulus, 16);
268                     if (!p.isProbablePrime(PRIME_CERTAINTY)) {
269                         if (SSLLogger.isOn && SSLLogger.isOn("sslctx")) {
270                             SSLLogger.fine(
271                                 "Prime modulus p in Security Property, " +
272                                 PROPERTY_NAME + ", is not a prime: " +
273                                 primeModulus);
274                         }
275 
276                         continue;
277                     }
278 
279                     String baseGenerator = paramsFinder.group(2);
280                     BigInteger g = new BigInteger(baseGenerator, 16);
281 
282                     DHParameterSpec spec = new DHParameterSpec(p, g);
283                     int primeLen = p.bitLength();
defaultParams.put(primeLen, spec)284                     defaultParams.put(primeLen, spec);
285                 }
286             } else if (SSLLogger.isOn && SSLLogger.isOn("sslctx")) {
287                 SSLLogger.fine("Invalid Security Property, " +
288                         PROPERTY_NAME + ", definition");
289             }
290         }
291 
292         Map<Integer,DHParameterSpec> tempFFDHEs = new HashMap<>();
293         for (BigInteger p : ffdhePrimes) {
294             int primeLen = p.bitLength();
295             DHParameterSpec dhps = new DHParameterSpec(p, BigInteger.TWO);
tempFFDHEs.put(primeLen, dhps)296             tempFFDHEs.put(primeLen, dhps);
defaultParams.putIfAbsent(primeLen, dhps)297             defaultParams.putIfAbsent(primeLen, dhps);
298         }
299 
300         for (BigInteger p : supportedPrimes) {
301             int primeLen = p.bitLength();
302             if (defaultParams.get(primeLen) == null) {
defaultParams.put(primeLen, new DHParameterSpec(p, BigInteger.TWO))303                 defaultParams.put(primeLen,
304                     new DHParameterSpec(p, BigInteger.TWO));
305             }
306         }
307 
308         ffdheParams =
309             Collections.<Integer,DHParameterSpec>unmodifiableMap(tempFFDHEs);
310         definedParams =
311             Collections.<Integer,DHParameterSpec>unmodifiableMap(defaultParams);
312     }
313 }
314