2016-07-13 19:47:58 +00:00
|
|
|
// hmqv.h - written and placed in the public domain by Uri Blumenthal
|
2016-07-13 22:32:18 +00:00
|
|
|
// Shamelessly based upon Jeffrey Walton's FHMQV and Wei Dai's MQV source files
|
2016-07-13 19:47:58 +00:00
|
|
|
|
|
|
|
#ifndef CRYPTOPP_HMQV_H
|
|
|
|
#define CRYPTOPP_HMQV_H
|
|
|
|
|
2016-07-13 22:32:18 +00:00
|
|
|
//! \file hmqv.h
|
|
|
|
//! \brief Classes for Hashed Menezes-Qu-Vanstone key agreement in GF(p)
|
2016-09-09 09:19:29 +00:00
|
|
|
//! \since Crypto++ 5.6.4
|
2016-07-13 19:47:58 +00:00
|
|
|
|
|
|
|
#include "gfpcrypt.h"
|
|
|
|
#include "algebra.h"
|
|
|
|
#include "sha.h"
|
|
|
|
|
|
|
|
NAMESPACE_BEGIN(CryptoPP)
|
|
|
|
|
2016-07-13 22:32:18 +00:00
|
|
|
//! \brief Hashed Menezes-Qu-Vanstone in GF(p)
|
|
|
|
//! \details This implementation follows Hugo Krawczyk's <a href="http://eprint.iacr.org/2005/176">HMQV: A High-Performance
|
|
|
|
//! Secure Diffie-Hellman Protocol</a>. Note: this implements HMQV only. HMQV-C with Key Confirmation is not provided.
|
2016-09-08 18:30:01 +00:00
|
|
|
//! \sa MQV, HMQV, FHMQV, and AuthenticatedKeyAgreementDomain
|
2016-09-09 09:19:29 +00:00
|
|
|
//! \since Crypto++ 5.6.4
|
2016-12-03 10:05:56 +00:00
|
|
|
template <class GROUP_PARAMETERS, class COFACTOR_OPTION = typename GROUP_PARAMETERS::DefaultCofactorOption, class HASH = SHA512>
|
2016-07-13 19:47:58 +00:00
|
|
|
class HMQV_Domain: public AuthenticatedKeyAgreementDomain
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
typedef GROUP_PARAMETERS GroupParameters;
|
|
|
|
typedef typename GroupParameters::Element Element;
|
|
|
|
typedef HMQV_Domain<GROUP_PARAMETERS, COFACTOR_OPTION, HASH> Domain;
|
|
|
|
|
2016-12-03 05:32:07 +00:00
|
|
|
virtual ~HMQV_Domain() {}
|
2016-07-14 06:05:13 +00:00
|
|
|
|
2016-07-13 19:47:58 +00:00
|
|
|
HMQV_Domain(bool clientRole = true): m_role(clientRole ? RoleClient : RoleServer) {}
|
|
|
|
|
|
|
|
HMQV_Domain(const GroupParameters ¶ms, bool clientRole = true)
|
|
|
|
: m_role(clientRole ? RoleClient : RoleServer), m_groupParameters(params) {}
|
|
|
|
|
|
|
|
HMQV_Domain(BufferedTransformation &bt, bool clientRole = true)
|
|
|
|
: m_role(clientRole ? RoleClient : RoleServer)
|
|
|
|
{m_groupParameters.BERDecode(bt);}
|
|
|
|
|
|
|
|
template <class T1>
|
|
|
|
HMQV_Domain(T1 v1, bool clientRole = true)
|
|
|
|
: m_role(clientRole ? RoleClient : RoleServer)
|
|
|
|
{m_groupParameters.Initialize(v1);}
|
|
|
|
|
|
|
|
template <class T1, class T2>
|
|
|
|
HMQV_Domain(T1 v1, T2 v2, bool clientRole = true)
|
|
|
|
: m_role(clientRole ? RoleClient : RoleServer)
|
|
|
|
{m_groupParameters.Initialize(v1, v2);}
|
|
|
|
|
|
|
|
template <class T1, class T2, class T3>
|
|
|
|
HMQV_Domain(T1 v1, T2 v2, T3 v3, bool clientRole = true)
|
|
|
|
: m_role(clientRole ? RoleClient : RoleServer)
|
|
|
|
{m_groupParameters.Initialize(v1, v2, v3);}
|
|
|
|
|
|
|
|
template <class T1, class T2, class T3, class T4>
|
|
|
|
HMQV_Domain(T1 v1, T2 v2, T3 v3, T4 v4, bool clientRole = true)
|
|
|
|
: m_role(clientRole ? RoleClient : RoleServer)
|
|
|
|
{m_groupParameters.Initialize(v1, v2, v3, v4);}
|
|
|
|
|
|
|
|
public:
|
|
|
|
|
|
|
|
const GroupParameters & GetGroupParameters() const {return m_groupParameters;}
|
|
|
|
GroupParameters & AccessGroupParameters(){return m_groupParameters;}
|
|
|
|
|
|
|
|
CryptoParameters & AccessCryptoParameters(){return AccessAbstractGroupParameters();}
|
|
|
|
|
|
|
|
//! return length of agreed value produced
|
|
|
|
unsigned int AgreedValueLength() const {return GetAbstractGroupParameters().GetEncodedElementSize(false);}
|
|
|
|
//! return length of static private keys in this domain
|
|
|
|
unsigned int StaticPrivateKeyLength() const {return GetAbstractGroupParameters().GetSubgroupOrder().ByteCount();}
|
|
|
|
//! return length of static public keys in this domain
|
|
|
|
unsigned int StaticPublicKeyLength() const{return GetAbstractGroupParameters().GetEncodedElementSize(true);}
|
|
|
|
|
|
|
|
//! generate static private key
|
|
|
|
/*! \pre size of privateKey == PrivateStaticKeyLength() */
|
|
|
|
void GenerateStaticPrivateKey(RandomNumberGenerator &rng, byte *privateKey) const
|
|
|
|
{
|
|
|
|
Integer x(rng, Integer::One(), GetAbstractGroupParameters().GetMaxExponent());
|
|
|
|
x.Encode(privateKey, StaticPrivateKeyLength());
|
|
|
|
}
|
|
|
|
|
|
|
|
//! generate static public key
|
|
|
|
/*! \pre size of publicKey == PublicStaticKeyLength() */
|
|
|
|
void GenerateStaticPublicKey(RandomNumberGenerator &rng, const byte *privateKey, byte *publicKey) const
|
|
|
|
{
|
2016-07-14 06:25:00 +00:00
|
|
|
CRYPTOPP_UNUSED(rng);
|
2016-07-13 19:47:58 +00:00
|
|
|
const DL_GroupParameters<Element> ¶ms = GetAbstractGroupParameters();
|
|
|
|
Integer x(privateKey, StaticPrivateKeyLength());
|
|
|
|
Element y = params.ExponentiateBase(x);
|
|
|
|
params.EncodeElement(true, y, publicKey);
|
|
|
|
}
|
|
|
|
|
|
|
|
unsigned int EphemeralPrivateKeyLength() const {return StaticPrivateKeyLength() + StaticPublicKeyLength();}
|
|
|
|
unsigned int EphemeralPublicKeyLength() const{return StaticPublicKeyLength();}
|
|
|
|
|
|
|
|
//! return length of ephemeral private keys in this domain
|
|
|
|
void GenerateEphemeralPrivateKey(RandomNumberGenerator &rng, byte *privateKey) const
|
|
|
|
{
|
|
|
|
const DL_GroupParameters<Element> ¶ms = GetAbstractGroupParameters();
|
|
|
|
Integer x(rng, Integer::One(), params.GetMaxExponent());
|
|
|
|
x.Encode(privateKey, StaticPrivateKeyLength());
|
|
|
|
Element y = params.ExponentiateBase(x);
|
|
|
|
params.EncodeElement(true, y, privateKey+StaticPrivateKeyLength());
|
|
|
|
}
|
|
|
|
|
|
|
|
//! return length of ephemeral public keys in this domain
|
|
|
|
void GenerateEphemeralPublicKey(RandomNumberGenerator &rng, const byte *privateKey, byte *publicKey) const
|
|
|
|
{
|
2016-07-14 06:25:00 +00:00
|
|
|
CRYPTOPP_UNUSED(rng);
|
2016-07-13 19:47:58 +00:00
|
|
|
memcpy(publicKey, privateKey+StaticPrivateKeyLength(), EphemeralPublicKeyLength());
|
|
|
|
}
|
|
|
|
|
|
|
|
//! derive agreed value from your private keys and couterparty's public keys, return false in case of failure
|
|
|
|
/*! \note The ephemeral public key will always be validated.
|
|
|
|
If you have previously validated the static public key, use validateStaticOtherPublicKey=false to save time.
|
|
|
|
\pre size of agreedValue == AgreedValueLength()
|
|
|
|
\pre length of staticPrivateKey == StaticPrivateKeyLength()
|
|
|
|
\pre length of ephemeralPrivateKey == EphemeralPrivateKeyLength()
|
|
|
|
\pre length of staticOtherPublicKey == StaticPublicKeyLength()
|
|
|
|
\pre length of ephemeralOtherPublicKey == EphemeralPublicKeyLength()
|
|
|
|
*/
|
|
|
|
bool Agree(byte *agreedValue,
|
|
|
|
const byte *staticPrivateKey, const byte *ephemeralPrivateKey,
|
|
|
|
const byte *staticOtherPublicKey, const byte *ephemeralOtherPublicKey,
|
|
|
|
bool validateStaticOtherPublicKey=true) const
|
|
|
|
{
|
|
|
|
byte *XX = NULL, *YY = NULL, *AA = NULL, *BB = NULL;
|
|
|
|
size_t xxs = 0, yys = 0, aas = 0, bbs = 0;
|
|
|
|
|
|
|
|
// Depending on the role, this will hold either A's or B's static
|
|
|
|
// (long term) public key. AA or BB will then point into tt.
|
|
|
|
SecByteBlock tt(StaticPublicKeyLength());
|
|
|
|
|
|
|
|
try
|
|
|
|
{
|
|
|
|
const DL_GroupParameters<Element> ¶ms = GetAbstractGroupParameters();
|
|
|
|
|
|
|
|
if(m_role == RoleServer)
|
|
|
|
{
|
|
|
|
Integer b(staticPrivateKey, StaticPrivateKeyLength());
|
|
|
|
Element B = params.ExponentiateBase(b);
|
|
|
|
params.EncodeElement(true, B, tt);
|
|
|
|
|
|
|
|
XX = const_cast<byte*>(ephemeralOtherPublicKey);
|
|
|
|
xxs = EphemeralPublicKeyLength();
|
|
|
|
YY = const_cast<byte*>(ephemeralPrivateKey) + StaticPrivateKeyLength();
|
|
|
|
yys = EphemeralPublicKeyLength();
|
|
|
|
AA = const_cast<byte*>(staticOtherPublicKey);
|
|
|
|
aas = StaticPublicKeyLength();
|
|
|
|
BB = tt.BytePtr();
|
|
|
|
bbs = tt.SizeInBytes();
|
|
|
|
}
|
|
|
|
else if(m_role == RoleClient)
|
|
|
|
{
|
|
|
|
Integer a(staticPrivateKey, StaticPrivateKeyLength());
|
|
|
|
Element A = params.ExponentiateBase(a);
|
|
|
|
params.EncodeElement(true, A, tt);
|
|
|
|
|
|
|
|
XX = const_cast<byte*>(ephemeralPrivateKey) + StaticPrivateKeyLength();
|
|
|
|
xxs = EphemeralPublicKeyLength();
|
|
|
|
YY = const_cast<byte*>(ephemeralOtherPublicKey);
|
|
|
|
yys = EphemeralPublicKeyLength();
|
|
|
|
AA = tt.BytePtr();
|
|
|
|
aas = tt.SizeInBytes();
|
|
|
|
BB = const_cast<byte*>(staticOtherPublicKey);
|
|
|
|
bbs = StaticPublicKeyLength();
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2016-09-16 15:27:15 +00:00
|
|
|
CRYPTOPP_ASSERT(0);
|
2016-07-13 19:47:58 +00:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
// DecodeElement calls ValidateElement at level 1. Level 1 only calls
|
|
|
|
// VerifyPoint to ensure the element is in G*. If the other's PublicKey is
|
|
|
|
// requested to be validated, we manually call ValidateElement at level 3.
|
|
|
|
Element VV1 = params.DecodeElement(staticOtherPublicKey, false);
|
|
|
|
if(!params.ValidateElement(validateStaticOtherPublicKey ? 3 : 1, VV1, NULL))
|
|
|
|
return false;
|
|
|
|
|
|
|
|
// DecodeElement calls ValidateElement at level 1. Level 1 only calls
|
|
|
|
// VerifyPoint to ensure the element is in G*. Crank it up.
|
|
|
|
Element VV2 = params.DecodeElement(ephemeralOtherPublicKey, false);
|
|
|
|
if(!params.ValidateElement(3, VV2, NULL))
|
|
|
|
return false;
|
|
|
|
|
2016-07-13 22:32:18 +00:00
|
|
|
// const Integer& p = params.GetGroupOrder(); // not used, remove later
|
2016-07-13 19:47:58 +00:00
|
|
|
const Integer& q = params.GetSubgroupOrder();
|
|
|
|
const unsigned int len /*bytes*/ = (((q.BitCount()+1)/2 +7)/8);
|
|
|
|
|
|
|
|
Integer d, e;
|
|
|
|
SecByteBlock dd(len), ee(len);
|
|
|
|
|
|
|
|
// Compute $d = \hat{H}(X, \hat{B})$
|
|
|
|
Hash(NULL, XX, xxs, BB, bbs, dd.BytePtr(), dd.SizeInBytes());
|
|
|
|
d.Decode(dd.BytePtr(), dd.SizeInBytes());
|
|
|
|
|
|
|
|
// Compute $e = \hat{H}(Y, \hat{A})$
|
|
|
|
Hash(NULL, YY, yys, AA, aas, ee.BytePtr(), ee.SizeInBytes());
|
|
|
|
e.Decode(ee.BytePtr(), ee.SizeInBytes());
|
|
|
|
|
|
|
|
Element sigma;
|
|
|
|
if(m_role == RoleServer)
|
|
|
|
{
|
|
|
|
Integer y(ephemeralPrivateKey, StaticPrivateKeyLength());
|
|
|
|
Integer b(staticPrivateKey, StaticPrivateKeyLength());
|
|
|
|
Integer s_B = (y + e * b) % q;
|
|
|
|
|
|
|
|
Element A = params.DecodeElement(AA, false);
|
|
|
|
Element X = params.DecodeElement(XX, false);
|
|
|
|
|
|
|
|
Element t1 = params.ExponentiateElement(A, d);
|
|
|
|
Element t2 = m_groupParameters.MultiplyElements(X, t1);
|
|
|
|
|
2016-07-13 22:32:18 +00:00
|
|
|
// $\sigma_B}=(X \cdot A^{d})^{s_B}
|
2016-07-13 19:47:58 +00:00
|
|
|
sigma = params.ExponentiateElement(t2, s_B);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
Integer x(ephemeralPrivateKey, StaticPrivateKeyLength());
|
|
|
|
Integer a(staticPrivateKey, StaticPrivateKeyLength());
|
|
|
|
Integer s_A = (x + d * a) % q;
|
|
|
|
|
|
|
|
Element B = params.DecodeElement(BB, false);
|
|
|
|
Element Y = params.DecodeElement(YY, false);
|
|
|
|
|
|
|
|
Element t1 = params.ExponentiateElement(B, e);
|
|
|
|
Element t2 = m_groupParameters.MultiplyElements(Y, t1);
|
|
|
|
|
2016-07-13 22:32:18 +00:00
|
|
|
// $\sigma_A}=(Y \cdot B^{e})^{s_A}
|
2016-07-13 19:47:58 +00:00
|
|
|
sigma = params.ExponentiateElement(t2, s_A);
|
|
|
|
}
|
|
|
|
Hash(&sigma, NULL, 0, NULL, 0, agreedValue, AgreedValueLength());
|
|
|
|
}
|
|
|
|
catch (DL_BadElement &)
|
|
|
|
{
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2016-07-13 22:32:18 +00:00
|
|
|
protected:
|
|
|
|
// Hash invocation by client and server differ only in what keys
|
|
|
|
// each provides.
|
|
|
|
|
|
|
|
inline void Hash(const Element* sigma,
|
|
|
|
const byte* e1, size_t e1len, // Ephemeral key and key length
|
|
|
|
const byte* s1, size_t s1len, // Static key and key length
|
|
|
|
byte* digest, size_t dlen) const
|
|
|
|
{
|
|
|
|
HASH hash;
|
|
|
|
size_t idx = 0, req = dlen;
|
2016-09-16 15:27:15 +00:00
|
|
|
size_t blk = STDMIN(dlen, (size_t)HASH::DIGESTSIZE);
|
2016-07-13 22:32:18 +00:00
|
|
|
|
|
|
|
if(sigma)
|
|
|
|
{
|
|
|
|
if (e1len != 0 || s1len != 0) {
|
2016-12-03 05:32:07 +00:00
|
|
|
CRYPTOPP_ASSERT(0);
|
2016-07-13 22:32:18 +00:00
|
|
|
}
|
|
|
|
Integer x = GetAbstractGroupParameters().ConvertElementToInteger(*sigma);
|
|
|
|
SecByteBlock sbb(x.MinEncodedSize());
|
|
|
|
x.Encode(sbb.BytePtr(), sbb.SizeInBytes());
|
|
|
|
hash.Update(sbb.BytePtr(), sbb.SizeInBytes());
|
|
|
|
} else {
|
|
|
|
if (e1len == 0 || s1len == 0) {
|
2016-12-03 05:32:07 +00:00
|
|
|
CRYPTOPP_ASSERT(0);
|
2016-07-13 22:32:18 +00:00
|
|
|
}
|
|
|
|
hash.Update(e1, e1len);
|
|
|
|
hash.Update(s1, s1len);
|
|
|
|
}
|
|
|
|
|
|
|
|
hash.TruncatedFinal(digest, blk);
|
|
|
|
req -= blk;
|
|
|
|
|
|
|
|
// All this to catch tail bytes for large curves and small hashes
|
|
|
|
while(req != 0)
|
|
|
|
{
|
|
|
|
hash.Update(&digest[idx], (size_t)HASH::DIGESTSIZE);
|
|
|
|
|
|
|
|
idx += (size_t)HASH::DIGESTSIZE;
|
2016-09-16 15:27:15 +00:00
|
|
|
blk = STDMIN(req, (size_t)HASH::DIGESTSIZE);
|
2016-07-13 22:32:18 +00:00
|
|
|
hash.TruncatedFinal(&digest[idx], blk);
|
|
|
|
|
|
|
|
req -= blk;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-07-13 19:47:58 +00:00
|
|
|
private:
|
|
|
|
|
|
|
|
// The paper uses Initiator and Recipient - make it classical.
|
|
|
|
enum KeyAgreementRole{ RoleServer = 1, RoleClient };
|
|
|
|
|
|
|
|
DL_GroupParameters<Element> & AccessAbstractGroupParameters() {return m_groupParameters;}
|
|
|
|
const DL_GroupParameters<Element> & GetAbstractGroupParameters() const{return m_groupParameters;}
|
|
|
|
|
|
|
|
GroupParameters m_groupParameters;
|
2016-07-13 22:32:18 +00:00
|
|
|
KeyAgreementRole m_role;
|
2016-07-13 19:47:58 +00:00
|
|
|
};
|
|
|
|
|
2016-07-13 22:32:18 +00:00
|
|
|
//! \brief Hashed Menezes-Qu-Vanstone in GF(p)
|
|
|
|
//! \details This implementation follows Hugo Krawczyk's <a href="http://eprint.iacr.org/2005/176">HMQV: A High-Performance
|
|
|
|
//! Secure Diffie-Hellman Protocol</a>. Note: this implements HMQV only. HMQV-C with Key Confirmation is not provided.
|
2016-09-08 18:30:01 +00:00
|
|
|
//! \sa HMQV, MQV_Domain, FHMQV_Domain, AuthenticatedKeyAgreementDomain
|
2016-09-09 09:19:29 +00:00
|
|
|
//! \since Crypto++ 5.6.4
|
2016-07-21 04:21:48 +00:00
|
|
|
typedef HMQV_Domain<DL_GroupParameters_GFP_DefaultSafePrime> HMQV;
|
2016-07-13 19:47:58 +00:00
|
|
|
|
|
|
|
NAMESPACE_END
|
|
|
|
|
|
|
|
#endif
|