Fixed #14445 - Use HMAC and constant-time comparison functions where needed.
All adhoc MAC applications have been updated to use HMAC, using SHA1 to
generate unique keys for each application based on the SECRET_KEY, which is
common practice for this situation. In all cases, backwards compatibility
with existing hashes has been maintained, aiming to phase this out as per
the normal deprecation process. In this way, under most normal
circumstances the old hashes will have expired (e.g. by session expiration
etc.) before they become invalid.
In the case of the messages framework and the cookie backend, which was
already using HMAC, there is the possibility of a backwards incompatibility
if the SECRET_KEY is shorter than the default 50 bytes, but the low
likelihood and low impact meant compatibility code was not worth it.
All known instances where tokens/hashes were compared using simple string
equality, which could potentially open timing based attacks, have also been
fixed using a constant-time comparison function.
There are no known practical attacks against the existing implementations,
so these security improvements will not be backported.
git-svn-id: http://code.djangoproject.com/svn/django/trunk@14218 bcc190cf-cafb-0310-a4f2-bffc1f526a37
2010-10-15 04:54:30 +08:00
|
|
|
"""
|
|
|
|
Django's standard crypto functions and utilities.
|
|
|
|
"""
|
|
|
|
|
2011-03-28 10:11:19 +08:00
|
|
|
import hmac
|
2011-12-23 11:46:06 +08:00
|
|
|
import struct
|
|
|
|
import hashlib
|
|
|
|
import binascii
|
|
|
|
import operator
|
2012-02-24 06:51:14 +08:00
|
|
|
import time
|
2012-02-24 05:39:12 +08:00
|
|
|
|
2012-02-24 06:51:14 +08:00
|
|
|
# Use the system PRNG if possible
|
2012-02-24 05:39:12 +08:00
|
|
|
import random
|
|
|
|
try:
|
|
|
|
random = random.SystemRandom()
|
2012-02-24 06:51:14 +08:00
|
|
|
using_sysrandom = True
|
2012-02-24 05:39:12 +08:00
|
|
|
except NotImplementedError:
|
2012-02-24 06:51:14 +08:00
|
|
|
import warnings
|
|
|
|
warnings.warn('A secure pseudo-random number generator is not available '
|
|
|
|
'on your system. Falling back to Mersenne Twister.')
|
|
|
|
using_sysrandom = False
|
2012-02-24 05:39:12 +08:00
|
|
|
|
Fixed #14445 - Use HMAC and constant-time comparison functions where needed.
All adhoc MAC applications have been updated to use HMAC, using SHA1 to
generate unique keys for each application based on the SECRET_KEY, which is
common practice for this situation. In all cases, backwards compatibility
with existing hashes has been maintained, aiming to phase this out as per
the normal deprecation process. In this way, under most normal
circumstances the old hashes will have expired (e.g. by session expiration
etc.) before they become invalid.
In the case of the messages framework and the cookie backend, which was
already using HMAC, there is the possibility of a backwards incompatibility
if the SECRET_KEY is shorter than the default 50 bytes, but the low
likelihood and low impact meant compatibility code was not worth it.
All known instances where tokens/hashes were compared using simple string
equality, which could potentially open timing based attacks, have also been
fixed using a constant-time comparison function.
There are no known practical attacks against the existing implementations,
so these security improvements will not be backported.
git-svn-id: http://code.djangoproject.com/svn/django/trunk@14218 bcc190cf-cafb-0310-a4f2-bffc1f526a37
2010-10-15 04:54:30 +08:00
|
|
|
from django.conf import settings
|
|
|
|
|
2011-12-23 11:46:06 +08:00
|
|
|
|
2012-02-02 12:44:17 +08:00
|
|
|
_trans_5c = "".join([chr(x ^ 0x5C) for x in xrange(256)])
|
|
|
|
_trans_36 = "".join([chr(x ^ 0x36) for x in xrange(256)])
|
2011-12-23 11:46:06 +08:00
|
|
|
|
|
|
|
|
Fixed #14445 - Use HMAC and constant-time comparison functions where needed.
All adhoc MAC applications have been updated to use HMAC, using SHA1 to
generate unique keys for each application based on the SECRET_KEY, which is
common practice for this situation. In all cases, backwards compatibility
with existing hashes has been maintained, aiming to phase this out as per
the normal deprecation process. In this way, under most normal
circumstances the old hashes will have expired (e.g. by session expiration
etc.) before they become invalid.
In the case of the messages framework and the cookie backend, which was
already using HMAC, there is the possibility of a backwards incompatibility
if the SECRET_KEY is shorter than the default 50 bytes, but the low
likelihood and low impact meant compatibility code was not worth it.
All known instances where tokens/hashes were compared using simple string
equality, which could potentially open timing based attacks, have also been
fixed using a constant-time comparison function.
There are no known practical attacks against the existing implementations,
so these security improvements will not be backported.
git-svn-id: http://code.djangoproject.com/svn/django/trunk@14218 bcc190cf-cafb-0310-a4f2-bffc1f526a37
2010-10-15 04:54:30 +08:00
|
|
|
def salted_hmac(key_salt, value, secret=None):
|
|
|
|
"""
|
|
|
|
Returns the HMAC-SHA1 of 'value', using a key generated from key_salt and a
|
|
|
|
secret (which defaults to settings.SECRET_KEY).
|
|
|
|
|
|
|
|
A different key_salt should be passed in for every application of HMAC.
|
|
|
|
"""
|
|
|
|
if secret is None:
|
|
|
|
secret = settings.SECRET_KEY
|
|
|
|
|
|
|
|
# We need to generate a derived key from our base key. We can do this by
|
|
|
|
# passing the key_salt and our base key through a pseudo-random function and
|
|
|
|
# SHA1 works nicely.
|
2011-03-28 10:11:19 +08:00
|
|
|
key = hashlib.sha1(key_salt + secret).digest()
|
Fixed #14445 - Use HMAC and constant-time comparison functions where needed.
All adhoc MAC applications have been updated to use HMAC, using SHA1 to
generate unique keys for each application based on the SECRET_KEY, which is
common practice for this situation. In all cases, backwards compatibility
with existing hashes has been maintained, aiming to phase this out as per
the normal deprecation process. In this way, under most normal
circumstances the old hashes will have expired (e.g. by session expiration
etc.) before they become invalid.
In the case of the messages framework and the cookie backend, which was
already using HMAC, there is the possibility of a backwards incompatibility
if the SECRET_KEY is shorter than the default 50 bytes, but the low
likelihood and low impact meant compatibility code was not worth it.
All known instances where tokens/hashes were compared using simple string
equality, which could potentially open timing based attacks, have also been
fixed using a constant-time comparison function.
There are no known practical attacks against the existing implementations,
so these security improvements will not be backported.
git-svn-id: http://code.djangoproject.com/svn/django/trunk@14218 bcc190cf-cafb-0310-a4f2-bffc1f526a37
2010-10-15 04:54:30 +08:00
|
|
|
|
|
|
|
# If len(key_salt + secret) > sha_constructor().block_size, the above
|
|
|
|
# line is redundant and could be replaced by key = key_salt + secret, since
|
|
|
|
# the hmac module does the same thing for keys longer than the block size.
|
|
|
|
# However, we need to ensure that we *always* do this.
|
2011-03-28 10:11:19 +08:00
|
|
|
return hmac.new(key, msg=value, digestmod=hashlib.sha1)
|
Fixed #14445 - Use HMAC and constant-time comparison functions where needed.
All adhoc MAC applications have been updated to use HMAC, using SHA1 to
generate unique keys for each application based on the SECRET_KEY, which is
common practice for this situation. In all cases, backwards compatibility
with existing hashes has been maintained, aiming to phase this out as per
the normal deprecation process. In this way, under most normal
circumstances the old hashes will have expired (e.g. by session expiration
etc.) before they become invalid.
In the case of the messages framework and the cookie backend, which was
already using HMAC, there is the possibility of a backwards incompatibility
if the SECRET_KEY is shorter than the default 50 bytes, but the low
likelihood and low impact meant compatibility code was not worth it.
All known instances where tokens/hashes were compared using simple string
equality, which could potentially open timing based attacks, have also been
fixed using a constant-time comparison function.
There are no known practical attacks against the existing implementations,
so these security improvements will not be backported.
git-svn-id: http://code.djangoproject.com/svn/django/trunk@14218 bcc190cf-cafb-0310-a4f2-bffc1f526a37
2010-10-15 04:54:30 +08:00
|
|
|
|
2011-12-23 11:46:06 +08:00
|
|
|
|
2012-02-11 12:18:15 +08:00
|
|
|
def get_random_string(length=12,
|
|
|
|
allowed_chars='abcdefghijklmnopqrstuvwxyz'
|
|
|
|
'ABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789'):
|
2011-12-23 11:46:06 +08:00
|
|
|
"""
|
2012-02-24 06:51:14 +08:00
|
|
|
Returns a securely generated random string.
|
2011-12-23 11:46:06 +08:00
|
|
|
|
|
|
|
The default length of 12 with the a-z, A-Z, 0-9 character set returns
|
2012-02-24 05:39:12 +08:00
|
|
|
a 71-bit value. log_2((26+26+10)^12) =~ 71 bits
|
2011-12-23 11:46:06 +08:00
|
|
|
"""
|
2012-02-24 06:51:14 +08:00
|
|
|
if not using_sysrandom:
|
|
|
|
# This is ugly, and a hack, but it makes things better than
|
|
|
|
# the alternative of predictability. This re-seeds the PRNG
|
|
|
|
# using a value that is hard for an attacker to predict, every
|
|
|
|
# time a random string is required. This may change the
|
|
|
|
# properties of the chosen random sequence slightly, but this
|
|
|
|
# is better than absolute predictability.
|
|
|
|
random.seed(
|
|
|
|
hashlib.sha256(
|
|
|
|
"%s%s%s" % (
|
|
|
|
random.getstate(),
|
|
|
|
time.time(),
|
|
|
|
settings.SECRET_KEY)
|
|
|
|
).digest())
|
2011-12-23 11:46:06 +08:00
|
|
|
return ''.join([random.choice(allowed_chars) for i in range(length)])
|
|
|
|
|
|
|
|
|
Fixed #14445 - Use HMAC and constant-time comparison functions where needed.
All adhoc MAC applications have been updated to use HMAC, using SHA1 to
generate unique keys for each application based on the SECRET_KEY, which is
common practice for this situation. In all cases, backwards compatibility
with existing hashes has been maintained, aiming to phase this out as per
the normal deprecation process. In this way, under most normal
circumstances the old hashes will have expired (e.g. by session expiration
etc.) before they become invalid.
In the case of the messages framework and the cookie backend, which was
already using HMAC, there is the possibility of a backwards incompatibility
if the SECRET_KEY is shorter than the default 50 bytes, but the low
likelihood and low impact meant compatibility code was not worth it.
All known instances where tokens/hashes were compared using simple string
equality, which could potentially open timing based attacks, have also been
fixed using a constant-time comparison function.
There are no known practical attacks against the existing implementations,
so these security improvements will not be backported.
git-svn-id: http://code.djangoproject.com/svn/django/trunk@14218 bcc190cf-cafb-0310-a4f2-bffc1f526a37
2010-10-15 04:54:30 +08:00
|
|
|
def constant_time_compare(val1, val2):
|
|
|
|
"""
|
|
|
|
Returns True if the two strings are equal, False otherwise.
|
|
|
|
|
|
|
|
The time taken is independent of the number of characters that match.
|
|
|
|
"""
|
|
|
|
if len(val1) != len(val2):
|
|
|
|
return False
|
|
|
|
result = 0
|
|
|
|
for x, y in zip(val1, val2):
|
|
|
|
result |= ord(x) ^ ord(y)
|
|
|
|
return result == 0
|
2011-12-23 11:46:06 +08:00
|
|
|
|
|
|
|
|
2012-02-02 12:44:17 +08:00
|
|
|
def _bin_to_long(x):
|
2011-12-23 11:46:06 +08:00
|
|
|
"""
|
|
|
|
Convert a binary string into a long integer
|
|
|
|
|
|
|
|
This is a clever optimization for fast xor vector math
|
|
|
|
"""
|
|
|
|
return long(x.encode('hex'), 16)
|
|
|
|
|
|
|
|
|
2012-02-02 12:44:17 +08:00
|
|
|
def _long_to_bin(x, hex_format_string):
|
2011-12-23 11:46:06 +08:00
|
|
|
"""
|
2012-02-02 12:44:17 +08:00
|
|
|
Convert a long integer into a binary string.
|
|
|
|
hex_format_string is like "%020x" for padding 10 characters.
|
2011-12-23 11:46:06 +08:00
|
|
|
"""
|
2012-02-02 12:44:17 +08:00
|
|
|
return binascii.unhexlify(hex_format_string % x)
|
2011-12-23 11:46:06 +08:00
|
|
|
|
|
|
|
|
2012-02-02 12:44:17 +08:00
|
|
|
def _fast_hmac(key, msg, digest):
|
2011-12-23 11:46:06 +08:00
|
|
|
"""
|
|
|
|
A trimmed down version of Python's HMAC implementation
|
|
|
|
"""
|
|
|
|
dig1, dig2 = digest(), digest()
|
|
|
|
if len(key) > dig1.block_size:
|
|
|
|
key = digest(key).digest()
|
|
|
|
key += chr(0) * (dig1.block_size - len(key))
|
2012-02-02 12:44:17 +08:00
|
|
|
dig1.update(key.translate(_trans_36))
|
2011-12-23 11:46:06 +08:00
|
|
|
dig1.update(msg)
|
2012-02-02 12:44:17 +08:00
|
|
|
dig2.update(key.translate(_trans_5c))
|
2011-12-23 11:46:06 +08:00
|
|
|
dig2.update(dig1.digest())
|
|
|
|
return dig2
|
|
|
|
|
|
|
|
|
|
|
|
def pbkdf2(password, salt, iterations, dklen=0, digest=None):
|
|
|
|
"""
|
|
|
|
Implements PBKDF2 as defined in RFC 2898, section 5.2
|
|
|
|
|
|
|
|
HMAC+SHA256 is used as the default pseudo random function.
|
|
|
|
|
|
|
|
Right now 10,000 iterations is the recommended default which takes
|
|
|
|
100ms on a 2.2Ghz Core 2 Duo. This is probably the bare minimum
|
|
|
|
for security given 1000 iterations was recommended in 2001. This
|
|
|
|
code is very well optimized for CPython and is only four times
|
|
|
|
slower than openssl's implementation.
|
|
|
|
"""
|
|
|
|
assert iterations > 0
|
|
|
|
if not digest:
|
|
|
|
digest = hashlib.sha256
|
|
|
|
hlen = digest().digest_size
|
|
|
|
if not dklen:
|
|
|
|
dklen = hlen
|
|
|
|
if dklen > (2 ** 32 - 1) * hlen:
|
|
|
|
raise OverflowError('dklen too big')
|
|
|
|
l = -(-dklen // hlen)
|
|
|
|
r = dklen - (l - 1) * hlen
|
|
|
|
|
2012-02-02 12:44:17 +08:00
|
|
|
hex_format_string = "%%0%ix" % (hlen * 2)
|
|
|
|
|
2011-12-23 11:46:06 +08:00
|
|
|
def F(i):
|
|
|
|
def U():
|
|
|
|
u = salt + struct.pack('>I', i)
|
|
|
|
for j in xrange(int(iterations)):
|
2012-02-02 12:44:17 +08:00
|
|
|
u = _fast_hmac(password, u, digest).digest()
|
|
|
|
yield _bin_to_long(u)
|
|
|
|
return _long_to_bin(reduce(operator.xor, U()), hex_format_string)
|
2011-12-23 11:46:06 +08:00
|
|
|
|
|
|
|
T = [F(x) for x in range(1, l + 1)]
|
|
|
|
return ''.join(T[:-1]) + T[-1][:r]
|