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 }