1 /*
   2  * Copyright (c) 2017, 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.security.*;
  29 import java.math.BigInteger;
  30 import java.util.regex.Pattern;
  31 import java.util.regex.Matcher;
  32 import java.util.Map;
  33 import java.util.HashMap;
  34 import java.util.Collections;
  35 import javax.crypto.spec.DHParameterSpec;
  36 
  37 /**
  38  * Predefined default DH ephemeral parameters.
  39  */
  40 final class PredefinedDHParameterSpecs {
  41     private final static boolean debugIsOn =
  42             (Debug.getInstance("ssl") != null) && Debug.isOn("sslctx");
  43 
  44     //
  45     // Default DH ephemeral parameters
  46     //
  47     private static final BigInteger p512 = new BigInteger(       // generated
  48             "D87780E15FF50B4ABBE89870188B049406B5BEA98AB23A02" +
  49             "41D88EA75B7755E669C08093D3F0CA7FC3A5A25CF067DCB9" +
  50             "A43DD89D1D90921C6328884461E0B6D3", 16);
  51     private static final BigInteger p768 = new BigInteger(       // RFC 2409
  52             "FFFFFFFFFFFFFFFFC90FDAA22168C234C4C6628B80DC1CD1" +
  53             "29024E088A67CC74020BBEA63B139B22514A08798E3404DD" +
  54             "EF9519B3CD3A431B302B0A6DF25F14374FE1356D6D51C245" +
  55             "E485B576625E7EC6F44C42E9A63A3620FFFFFFFFFFFFFFFF", 16);
  56 
  57     private static final BigInteger p1024 = new BigInteger(      // RFC 2409
  58             "FFFFFFFFFFFFFFFFC90FDAA22168C234C4C6628B80DC1CD1" +
  59             "29024E088A67CC74020BBEA63B139B22514A08798E3404DD" +
  60             "EF9519B3CD3A431B302B0A6DF25F14374FE1356D6D51C245" +
  61             "E485B576625E7EC6F44C42E9A637ED6B0BFF5CB6F406B7ED" +
  62             "EE386BFB5A899FA5AE9F24117C4B1FE649286651ECE65381" +
  63             "FFFFFFFFFFFFFFFF", 16);
  64     private static final BigInteger p1536 = new BigInteger(      // RFC 3526
  65             "FFFFFFFFFFFFFFFFC90FDAA22168C234C4C6628B80DC1CD1" +
  66             "29024E088A67CC74020BBEA63B139B22514A08798E3404DD" +
  67             "EF9519B3CD3A431B302B0A6DF25F14374FE1356D6D51C245" +
  68             "E485B576625E7EC6F44C42E9A637ED6B0BFF5CB6F406B7ED" +
  69             "EE386BFB5A899FA5AE9F24117C4B1FE649286651ECE45B3D" +
  70             "C2007CB8A163BF0598DA48361C55D39A69163FA8FD24CF5F" +
  71             "83655D23DCA3AD961C62F356208552BB9ED529077096966D" +
  72             "670C354E4ABC9804F1746C08CA237327FFFFFFFFFFFFFFFF", 16);
  73     private static final BigInteger p2048 = new BigInteger(      // TLS FFDHE
  74             "FFFFFFFFFFFFFFFFADF85458A2BB4A9AAFDC5620273D3CF1" +
  75             "D8B9C583CE2D3695A9E13641146433FBCC939DCE249B3EF9" +
  76             "7D2FE363630C75D8F681B202AEC4617AD3DF1ED5D5FD6561" +
  77             "2433F51F5F066ED0856365553DED1AF3B557135E7F57C935" +
  78             "984F0C70E0E68B77E2A689DAF3EFE8721DF158A136ADE735" +
  79             "30ACCA4F483A797ABC0AB182B324FB61D108A94BB2C8E3FB" +
  80             "B96ADAB760D7F4681D4F42A3DE394DF4AE56EDE76372BB19" +
  81             "0B07A7C8EE0A6D709E02FCE1CDF7E2ECC03404CD28342F61" +
  82             "9172FE9CE98583FF8E4F1232EEF28183C3FE3B1B4C6FAD73" +
  83             "3BB5FCBC2EC22005C58EF1837D1683B2C6F34A26C1B2EFFA" +
  84             "886B423861285C97FFFFFFFFFFFFFFFF", 16);
  85     private static final BigInteger p3072 = new BigInteger(      // TLS FFDHE
  86             "FFFFFFFFFFFFFFFFADF85458A2BB4A9AAFDC5620273D3CF1" +
  87             "D8B9C583CE2D3695A9E13641146433FBCC939DCE249B3EF9" +
  88             "7D2FE363630C75D8F681B202AEC4617AD3DF1ED5D5FD6561" +
  89             "2433F51F5F066ED0856365553DED1AF3B557135E7F57C935" +
  90             "984F0C70E0E68B77E2A689DAF3EFE8721DF158A136ADE735" +
  91             "30ACCA4F483A797ABC0AB182B324FB61D108A94BB2C8E3FB" +
  92             "B96ADAB760D7F4681D4F42A3DE394DF4AE56EDE76372BB19" +
  93             "0B07A7C8EE0A6D709E02FCE1CDF7E2ECC03404CD28342F61" +
  94             "9172FE9CE98583FF8E4F1232EEF28183C3FE3B1B4C6FAD73" +
  95             "3BB5FCBC2EC22005C58EF1837D1683B2C6F34A26C1B2EFFA" +
  96             "886B4238611FCFDCDE355B3B6519035BBC34F4DEF99C0238" +
  97             "61B46FC9D6E6C9077AD91D2691F7F7EE598CB0FAC186D91C" +
  98             "AEFE130985139270B4130C93BC437944F4FD4452E2D74DD3" +
  99             "64F2E21E71F54BFF5CAE82AB9C9DF69EE86D2BC522363A0D" +
 100             "ABC521979B0DEADA1DBF9A42D5C4484E0ABCD06BFA53DDEF" +
 101             "3C1B20EE3FD59D7C25E41D2B66C62E37FFFFFFFFFFFFFFFF", 16);
 102     private static final BigInteger p4096 = new BigInteger(      // TLS FFDHE
 103             "FFFFFFFFFFFFFFFFADF85458A2BB4A9AAFDC5620273D3CF1" +
 104             "D8B9C583CE2D3695A9E13641146433FBCC939DCE249B3EF9" +
 105             "7D2FE363630C75D8F681B202AEC4617AD3DF1ED5D5FD6561" +
 106             "2433F51F5F066ED0856365553DED1AF3B557135E7F57C935" +
 107             "984F0C70E0E68B77E2A689DAF3EFE8721DF158A136ADE735" +
 108             "30ACCA4F483A797ABC0AB182B324FB61D108A94BB2C8E3FB" +
 109             "B96ADAB760D7F4681D4F42A3DE394DF4AE56EDE76372BB19" +
 110             "0B07A7C8EE0A6D709E02FCE1CDF7E2ECC03404CD28342F61" +
 111             "9172FE9CE98583FF8E4F1232EEF28183C3FE3B1B4C6FAD73" +
 112             "3BB5FCBC2EC22005C58EF1837D1683B2C6F34A26C1B2EFFA" +
 113             "886B4238611FCFDCDE355B3B6519035BBC34F4DEF99C0238" +
 114             "61B46FC9D6E6C9077AD91D2691F7F7EE598CB0FAC186D91C" +
 115             "AEFE130985139270B4130C93BC437944F4FD4452E2D74DD3" +
 116             "64F2E21E71F54BFF5CAE82AB9C9DF69EE86D2BC522363A0D" +
 117             "ABC521979B0DEADA1DBF9A42D5C4484E0ABCD06BFA53DDEF" +
 118             "3C1B20EE3FD59D7C25E41D2B669E1EF16E6F52C3164DF4FB" +
 119             "7930E9E4E58857B6AC7D5F42D69F6D187763CF1D55034004" +
 120             "87F55BA57E31CC7A7135C886EFB4318AED6A1E012D9E6832" +
 121             "A907600A918130C46DC778F971AD0038092999A333CB8B7A" +
 122             "1A1DB93D7140003C2A4ECEA9F98D0ACC0A8291CDCEC97DCF" +
 123             "8EC9B55A7F88A46B4DB5A851F44182E1C68A007E5E655F6A" +
 124             "FFFFFFFFFFFFFFFF", 16);
 125     private static final BigInteger p6144 = new BigInteger(      // TLS FFDHE
 126             "FFFFFFFFFFFFFFFFADF85458A2BB4A9AAFDC5620273D3CF1" +
 127             "D8B9C583CE2D3695A9E13641146433FBCC939DCE249B3EF9" +
 128             "7D2FE363630C75D8F681B202AEC4617AD3DF1ED5D5FD6561" +
 129             "2433F51F5F066ED0856365553DED1AF3B557135E7F57C935" +
 130             "984F0C70E0E68B77E2A689DAF3EFE8721DF158A136ADE735" +
 131             "30ACCA4F483A797ABC0AB182B324FB61D108A94BB2C8E3FB" +
 132             "B96ADAB760D7F4681D4F42A3DE394DF4AE56EDE76372BB19" +
 133             "0B07A7C8EE0A6D709E02FCE1CDF7E2ECC03404CD28342F61" +
 134             "9172FE9CE98583FF8E4F1232EEF28183C3FE3B1B4C6FAD73" +
 135             "3BB5FCBC2EC22005C58EF1837D1683B2C6F34A26C1B2EFFA" +
 136             "886B4238611FCFDCDE355B3B6519035BBC34F4DEF99C0238" +
 137             "61B46FC9D6E6C9077AD91D2691F7F7EE598CB0FAC186D91C" +
 138             "AEFE130985139270B4130C93BC437944F4FD4452E2D74DD3" +
 139             "64F2E21E71F54BFF5CAE82AB9C9DF69EE86D2BC522363A0D" +
 140             "ABC521979B0DEADA1DBF9A42D5C4484E0ABCD06BFA53DDEF" +
 141             "3C1B20EE3FD59D7C25E41D2B669E1EF16E6F52C3164DF4FB" +
 142             "7930E9E4E58857B6AC7D5F42D69F6D187763CF1D55034004" +
 143             "87F55BA57E31CC7A7135C886EFB4318AED6A1E012D9E6832" +
 144             "A907600A918130C46DC778F971AD0038092999A333CB8B7A" +
 145             "1A1DB93D7140003C2A4ECEA9F98D0ACC0A8291CDCEC97DCF" +
 146             "8EC9B55A7F88A46B4DB5A851F44182E1C68A007E5E0DD902" +
 147             "0BFD64B645036C7A4E677D2C38532A3A23BA4442CAF53EA6" +
 148             "3BB454329B7624C8917BDD64B1C0FD4CB38E8C334C701C3A" +
 149             "CDAD0657FCCFEC719B1F5C3E4E46041F388147FB4CFDB477" +
 150             "A52471F7A9A96910B855322EDB6340D8A00EF092350511E3" +
 151             "0ABEC1FFF9E3A26E7FB29F8C183023C3587E38DA0077D9B4" +
 152             "763E4E4B94B2BBC194C6651E77CAF992EEAAC0232A281BF6" +
 153             "B3A739C1226116820AE8DB5847A67CBEF9C9091B462D538C" +
 154             "D72B03746AE77F5E62292C311562A846505DC82DB854338A" +
 155             "E49F5235C95B91178CCF2DD5CACEF403EC9D1810C6272B04" +
 156             "5B3B71F9DC6B80D63FDD4A8E9ADB1E6962A69526D43161C1" +
 157             "A41D570D7938DAD4A40E329CD0E40E65FFFFFFFFFFFFFFFF", 16);
 158     private static final BigInteger p8192 = new BigInteger(      // TLS FFDHE
 159             "FFFFFFFFFFFFFFFFADF85458A2BB4A9AAFDC5620273D3CF1" +
 160             "D8B9C583CE2D3695A9E13641146433FBCC939DCE249B3EF9" +
 161             "7D2FE363630C75D8F681B202AEC4617AD3DF1ED5D5FD6561" +
 162             "2433F51F5F066ED0856365553DED1AF3B557135E7F57C935" +
 163             "984F0C70E0E68B77E2A689DAF3EFE8721DF158A136ADE735" +
 164             "30ACCA4F483A797ABC0AB182B324FB61D108A94BB2C8E3FB" +
 165             "B96ADAB760D7F4681D4F42A3DE394DF4AE56EDE76372BB19" +
 166             "0B07A7C8EE0A6D709E02FCE1CDF7E2ECC03404CD28342F61" +
 167             "9172FE9CE98583FF8E4F1232EEF28183C3FE3B1B4C6FAD73" +
 168             "3BB5FCBC2EC22005C58EF1837D1683B2C6F34A26C1B2EFFA" +
 169             "886B4238611FCFDCDE355B3B6519035BBC34F4DEF99C0238" +
 170             "61B46FC9D6E6C9077AD91D2691F7F7EE598CB0FAC186D91C" +
 171             "AEFE130985139270B4130C93BC437944F4FD4452E2D74DD3" +
 172             "64F2E21E71F54BFF5CAE82AB9C9DF69EE86D2BC522363A0D" +
 173             "ABC521979B0DEADA1DBF9A42D5C4484E0ABCD06BFA53DDEF" +
 174             "3C1B20EE3FD59D7C25E41D2B669E1EF16E6F52C3164DF4FB" +
 175             "7930E9E4E58857B6AC7D5F42D69F6D187763CF1D55034004" +
 176             "87F55BA57E31CC7A7135C886EFB4318AED6A1E012D9E6832" +
 177             "A907600A918130C46DC778F971AD0038092999A333CB8B7A" +
 178             "1A1DB93D7140003C2A4ECEA9F98D0ACC0A8291CDCEC97DCF" +
 179             "8EC9B55A7F88A46B4DB5A851F44182E1C68A007E5E0DD902" +
 180             "0BFD64B645036C7A4E677D2C38532A3A23BA4442CAF53EA6" +
 181             "3BB454329B7624C8917BDD64B1C0FD4CB38E8C334C701C3A" +
 182             "CDAD0657FCCFEC719B1F5C3E4E46041F388147FB4CFDB477" +
 183             "A52471F7A9A96910B855322EDB6340D8A00EF092350511E3" +
 184             "0ABEC1FFF9E3A26E7FB29F8C183023C3587E38DA0077D9B4" +
 185             "763E4E4B94B2BBC194C6651E77CAF992EEAAC0232A281BF6" +
 186             "B3A739C1226116820AE8DB5847A67CBEF9C9091B462D538C" +
 187             "D72B03746AE77F5E62292C311562A846505DC82DB854338A" +
 188             "E49F5235C95B91178CCF2DD5CACEF403EC9D1810C6272B04" +
 189             "5B3B71F9DC6B80D63FDD4A8E9ADB1E6962A69526D43161C1" +
 190             "A41D570D7938DAD4A40E329CCFF46AAA36AD004CF600C838" +
 191             "1E425A31D951AE64FDB23FCEC9509D43687FEB69EDD1CC5E" +
 192             "0B8CC3BDF64B10EF86B63142A3AB8829555B2F747C932665" +
 193             "CB2C0F1CC01BD70229388839D2AF05E454504AC78B758282" +
 194             "2846C0BA35C35F5C59160CC046FD8251541FC68C9C86B022" +
 195             "BB7099876A460E7451A8A93109703FEE1C217E6C3826E52C" +
 196             "51AA691E0E423CFC99E9E31650C1217B624816CDAD9A95F9" +
 197             "D5B8019488D9C0A0A1FE3075A577E23183F81D4A3F2FA457" +
 198             "1EFC8CE0BA8A4FE8B6855DFE72B0A66EDED2FBABFBE58A30" +
 199             "FAFABE1C5D71A87E2F741EF8C1FE86FEA6BBFDE530677F0D" +
 200             "97D11D49F7A8443D0822E506A9F4614E011E2A94838FF88C" +
 201             "D68C8BB7C5C6424CFFFFFFFFFFFFFFFF", 16);
 202 
 203     private static final BigInteger[] supportedPrimes = {
 204             p512, p768, p1024, p1536, p2048, p3072, p4096, p6144, p8192};
 205 
 206     private static final BigInteger[] ffdhePrimes = {
 207             p2048, p3072, p4096, p6144, p8192};
 208 
 209     // a measure of the uncertainty that prime modulus p is not a prime
 210     //
 211     // see BigInteger.isProbablePrime(int certainty)
 212     private final static int PRIME_CERTAINTY = 120;
 213 
 214     // the known security property, jdk.tls.server.defaultDHEParameters
 215     private final static String PROPERTY_NAME =
 216             "jdk.tls.server.defaultDHEParameters";
 217 
 218     private static final Pattern spacesPattern = Pattern.compile("\\s+");
 219 
 220     private final static Pattern syntaxPattern = Pattern.compile(
 221             "(\\{[0-9A-Fa-f]+,[0-9A-Fa-f]+\\})" +
 222             "(,\\{[0-9A-Fa-f]+,[0-9A-Fa-f]+\\})*");
 223 
 224     private static final Pattern paramsPattern = Pattern.compile(
 225             "\\{([0-9A-Fa-f]+),([0-9A-Fa-f]+)\\}");
 226 
 227     // cache of predefined default DH ephemeral parameters
 228     final static Map<Integer, DHParameterSpec> definedParams;
 229 
 230     // cache of Finite Field DH Ephemeral parameters (RFC 7919/FFDHE)
 231     final static Map<Integer, DHParameterSpec> ffdheParams;
 232 
 233     static {
 234         String property = AccessController.doPrivileged(
 235             new PrivilegedAction<String>() {
 236                 public String run() {
 237                     return Security.getProperty(PROPERTY_NAME);
 238                 }
 239             });
 240 
 241         if (property != null && !property.isEmpty()) {
 242             // remove double quote marks from beginning/end of the property
 243             if (property.length() >= 2 && property.charAt(0) == '"' &&
 244                     property.charAt(property.length() - 1) == '"') {
 245                 property = property.substring(1, property.length() - 1);
 246             }
 247 
 248             property = property.trim();
 249         }
 250 
 251         if (property != null && !property.isEmpty()) {
 252             Matcher spacesMatcher = spacesPattern.matcher(property);
 253             property = spacesMatcher.replaceAll("");
 254 
 255             if (debugIsOn) {
 256                 System.out.println("The Security Property " +
 257                         PROPERTY_NAME + ": " + property);
 258             }
 259         }
 260 
 261         Map<Integer,DHParameterSpec> defaultParams = new HashMap<>();
 262         if (property != null && !property.isEmpty()) {
 263             Matcher syntaxMatcher = syntaxPattern.matcher(property);
 264             if (syntaxMatcher.matches()) {
 265                 Matcher paramsFinder = paramsPattern.matcher(property);
 266                 while(paramsFinder.find()) {
 267                     String primeModulus = paramsFinder.group(1);
 268                     BigInteger p = new BigInteger(primeModulus, 16);
 269                     if (!p.isProbablePrime(PRIME_CERTAINTY)) {
 270                         if (debugIsOn) {
 271                             System.out.println(
 272                                 "Prime modulus p in Security Property, " +
 273                                 PROPERTY_NAME + ", is not a prime: " +
 274                                 primeModulus);
 275                         }
 276 
 277                         continue;
 278                     }
 279 
 280                     String baseGenerator = paramsFinder.group(2);
 281                     BigInteger g = new BigInteger(baseGenerator, 16);
 282 
 283                     DHParameterSpec spec = new DHParameterSpec(p, g);
 284                     int primeLen = p.bitLength();
 285                     defaultParams.put(primeLen, spec);
 286                 }
 287             } else if (debugIsOn) {
 288                 System.out.println("Invalid Security Property, " +
 289                         PROPERTY_NAME + ", definition");
 290             }
 291         }
 292 
 293         Map<Integer,DHParameterSpec> tempFFDHEs = new HashMap<>();
 294         for (BigInteger p : ffdhePrimes) {
 295             int primeLen = p.bitLength();
 296             DHParameterSpec dhps = new DHParameterSpec(p, BigInteger.TWO);
 297             tempFFDHEs.put(primeLen, dhps);
 298             defaultParams.putIfAbsent(primeLen, dhps);
 299         }
 300 
 301         for (BigInteger p : supportedPrimes) {
 302             int primeLen = p.bitLength();
 303             if (defaultParams.get(primeLen) == null) {
 304                 defaultParams.put(primeLen,
 305                     new DHParameterSpec(p, BigInteger.TWO));
 306             }
 307         }
 308 
 309         ffdheParams =
 310             Collections.<Integer,DHParameterSpec>unmodifiableMap(tempFFDHEs);
 311         definedParams =
 312             Collections.<Integer,DHParameterSpec>unmodifiableMap(defaultParams);
 313     }
 314 }