1 // Copyright 2015 The BoringSSL Authors
2 //
3 // Licensed under the Apache License, Version 2.0 (the "License");
4 // you may not use this file except in compliance with the License.
5 // You may obtain a copy of the License at
6 //
7 //     https://www.apache.org/licenses/LICENSE-2.0
8 //
9 // Unless required by applicable law or agreed to in writing, software
10 // distributed under the License is distributed on an "AS IS" BASIS,
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 // See the License for the specific language governing permissions and
13 // limitations under the License.
14 
15 #include <gtest/gtest.h>
16 
17 #include <openssl/digest.h>
18 #include <openssl/evp.h>
19 
20 #include "../internal.h"
21 #include "../test/test_util.h"
22 
23 
24 // Tests deriving a key using an empty password (specified both as NULL and as
25 // non-NULL). Note that NULL has special meaning to HMAC initialization.
TEST(PBKDFTest,EmptyPassword)26 TEST(PBKDFTest, EmptyPassword) {
27   const uint8_t kKey[] = {0xa3, 0x3d, 0xdd, 0xc3, 0x04, 0x78, 0x18,
28                           0x55, 0x15, 0x31, 0x1f, 0x87, 0x52, 0x89,
29                           0x5d, 0x36, 0xea, 0x43, 0x63, 0xa2};
30   uint8_t key[sizeof(kKey)];
31 
32   ASSERT_TRUE(PKCS5_PBKDF2_HMAC(NULL, 0, (const uint8_t *)"salt", 4, 1,
33                                 EVP_sha1(), sizeof(kKey), key));
34   EXPECT_EQ(Bytes(kKey), Bytes(key));
35 
36   ASSERT_TRUE(PKCS5_PBKDF2_HMAC("", 0, (const uint8_t *)"salt", 4, 1,
37                                 EVP_sha1(), sizeof(kKey), key));
38   EXPECT_EQ(Bytes(kKey), Bytes(key));
39 }
40 
41 // Tests deriving a key using an empty salt. Note that the expectation was
42 // generated using OpenSSL itself, and hence is not verified.
TEST(PBKDFTest,EmptySalt)43 TEST(PBKDFTest, EmptySalt) {
44   const uint8_t kKey[] = {0x8b, 0xc2, 0xf9, 0x16, 0x7a, 0x81, 0xcd, 0xcf,
45                           0xad, 0x12, 0x35, 0xcd, 0x90, 0x47, 0xf1, 0x13,
46                           0x62, 0x71, 0xc1, 0xf9, 0x78, 0xfc, 0xfc, 0xb3,
47                           0x5e, 0x22, 0xdb, 0xea, 0xfa, 0x46, 0x34, 0xf6};
48   uint8_t key[sizeof(kKey)];
49 
50   ASSERT_TRUE(PKCS5_PBKDF2_HMAC("password", 8, NULL, 0, 2, EVP_sha256(),
51                                 sizeof(kKey), key));
52   EXPECT_EQ(Bytes(kKey), Bytes(key));
53 
54   ASSERT_TRUE(PKCS5_PBKDF2_HMAC("password", 8, (const uint8_t *)"", 0, 2,
55                                 EVP_sha256(), sizeof(kKey), key));
56   EXPECT_EQ(Bytes(kKey), Bytes(key));
57 }
58 
59 // Exercises test vectors taken from https://tools.ietf.org/html/rfc6070.
60 // Note that each of these test vectors uses SHA-1 as the digest.
TEST(PBKDFTest,RFC6070Vectors)61 TEST(PBKDFTest, RFC6070Vectors) {
62   const uint8_t kKey1[] = {0x0c, 0x60, 0xc8, 0x0f, 0x96, 0x1f, 0x0e,
63                            0x71, 0xf3, 0xa9, 0xb5, 0x24, 0xaf, 0x60,
64                            0x12, 0x06, 0x2f, 0xe0, 0x37, 0xa6};
65   const uint8_t kKey2[] = {0xea, 0x6c, 0x01, 0x4d, 0xc7, 0x2d, 0x6f,
66                            0x8c, 0xcd, 0x1e, 0xd9, 0x2a, 0xce, 0x1d,
67                            0x41, 0xf0, 0xd8, 0xde, 0x89, 0x57};
68   const uint8_t kKey3[] = {0x56, 0xfa, 0x6a, 0xa7, 0x55, 0x48, 0x09, 0x9d,
69                            0xcc, 0x37, 0xd7, 0xf0, 0x34, 0x25, 0xe0, 0xc3};
70   uint8_t key[sizeof(kKey1)];
71   static_assert(sizeof(key) >= sizeof(kKey2), "output too small");
72   static_assert(sizeof(key) >= sizeof(kKey3), "output too small");
73 
74   ASSERT_TRUE(PKCS5_PBKDF2_HMAC("password", 8, (const uint8_t *)"salt", 4, 1,
75                                 EVP_sha1(), sizeof(kKey1), key));
76   EXPECT_EQ(Bytes(kKey1), Bytes(key, sizeof(kKey1)));
77 
78   ASSERT_TRUE(PKCS5_PBKDF2_HMAC("password", 8, (const uint8_t *)"salt", 4, 2,
79                                 EVP_sha1(), sizeof(kKey2), key));
80   EXPECT_EQ(Bytes(kKey2), Bytes(key, sizeof(kKey2)));
81 
82   ASSERT_TRUE(PKCS5_PBKDF2_HMAC("pass\0word", 9, (const uint8_t *)"sa\0lt", 5,
83                                 4096, EVP_sha1(), sizeof(kKey3), key));
84   EXPECT_EQ(Bytes(kKey3), Bytes(key, sizeof(kKey3)));
85 }
86 
87 // Tests key derivation using SHA-2 digests.
TEST(PBKDFTest,SHA2)88 TEST(PBKDFTest, SHA2) {
89   // This test was taken from:
90   // http://stackoverflow.com/questions/5130513/pbkdf2-hmac-sha2-test-vectors.
91   const uint8_t kKey1[] = {0xae, 0x4d, 0x0c, 0x95, 0xaf, 0x6b, 0x46, 0xd3,
92                            0x2d, 0x0a, 0xdf, 0xf9, 0x28, 0xf0, 0x6d, 0xd0,
93                            0x2a, 0x30, 0x3f, 0x8e, 0xf3, 0xc2, 0x51, 0xdf,
94                            0xd6, 0xe2, 0xd8, 0x5a, 0x95, 0x47, 0x4c, 0x43};
95 
96   // This test was taken from:
97   // http://stackoverflow.com/questions/15593184/pbkdf2-hmac-sha-512-test-vectors.
98   const uint8_t kKey2[] = {
99       0x8c, 0x05, 0x11, 0xf4, 0xc6, 0xe5, 0x97, 0xc6, 0xac, 0x63, 0x15,
100       0xd8, 0xf0, 0x36, 0x2e, 0x22, 0x5f, 0x3c, 0x50, 0x14, 0x95, 0xba,
101       0x23, 0xb8, 0x68, 0xc0, 0x05, 0x17, 0x4d, 0xc4, 0xee, 0x71, 0x11,
102       0x5b, 0x59, 0xf9, 0xe6, 0x0c, 0xd9, 0x53, 0x2f, 0xa3, 0x3e, 0x0f,
103       0x75, 0xae, 0xfe, 0x30, 0x22, 0x5c, 0x58, 0x3a, 0x18, 0x6c, 0xd8,
104       0x2b, 0xd4, 0xda, 0xea, 0x97, 0x24, 0xa3, 0xd3, 0xb8};
105 
106   uint8_t key[sizeof(kKey2)];
107   static_assert(sizeof(key) >= sizeof(kKey1), "output too small");
108 
109   ASSERT_TRUE(PKCS5_PBKDF2_HMAC("password", 8, (const uint8_t *)"salt", 4, 2,
110                                 EVP_sha256(), sizeof(kKey1), key));
111   EXPECT_EQ(Bytes(kKey1), Bytes(key, sizeof(kKey1)));
112 
113   ASSERT_TRUE(
114       PKCS5_PBKDF2_HMAC("passwordPASSWORDpassword", 24,
115                         (const uint8_t *)"saltSALTsaltSALTsaltSALTsaltSALTsalt",
116                         36, 4096, EVP_sha512(), sizeof(kKey2), key));
117   EXPECT_EQ(Bytes(kKey2), Bytes(key, sizeof(kKey2)));
118 }
119 
120 // Tests key derivation using iterations=0.
121 //
122 // RFC 2898 defines the iteration count (c) as a "positive integer". So doing a
123 // key derivation with iterations=0 is ill-defined and should result in a
124 // failure.
TEST(PBKDFTest,ZeroIterations)125 TEST(PBKDFTest, ZeroIterations) {
126   static const char kPassword[] = "password";
127   const size_t password_len = strlen(kPassword);
128   static const uint8_t kSalt[] = {1, 2, 3, 4};
129   const size_t salt_len = sizeof(kSalt);
130   const EVP_MD *digest = EVP_sha1();
131 
132   uint8_t key[10] = {0};
133   const size_t key_len = sizeof(key);
134 
135   // Verify that calling with iterations=1 works.
136   ASSERT_TRUE(PKCS5_PBKDF2_HMAC(kPassword, password_len, kSalt, salt_len,
137                                 1 /* iterations */, digest, key_len, key));
138 
139   // Flip the first key byte (so can later test if it got set).
140   const uint8_t expected_first_byte = key[0];
141   key[0] = ~key[0];
142 
143   // However calling it with iterations=0 fails.
144   ASSERT_FALSE(PKCS5_PBKDF2_HMAC(kPassword, password_len, kSalt, salt_len,
145                                  0 /* iterations */, digest, key_len, key));
146 
147   // For backwards compatibility, the iterations == 0 case still fills in
148   // the out key.
149   EXPECT_EQ(expected_first_byte, key[0]);
150 }
151