Implicit certificate

From HandWiki - Reading time: 5 min

In cryptography, implicit certificates are a variant of public key certificate. A subject's public key is reconstructed from the data in an implicit certificate, and is then said to be "implicitly" verified. Tampering with the certificate will result in the reconstructed public key being invalid, in the sense that it is infeasible to find the matching private key value, as would be required to make use of the tampered certificate.

By comparison, traditional public-key certificates include a copy of the subject's public key, and a digital signature made by the issuing certificate authority (CA). The public key must be explicitly validated, by verifying the signature using the CA's public key. For the purposes of this article, such certificates will be called "explicit" certificates.

Elliptic Curve Qu-Vanstone (ECQV) is one kind of implicit certificate scheme. It is described in the document Standards for Efficient Cryptography 4 (SEC4).[1]
This article will use ECQV as a concrete example to illustrate implicit certificates.

Comparison of ECQV with explicit certificates

Conventional explicit certificates are made up of three parts: subject identification data, a public key and a digital signature which binds the public key to the user's identification data (ID). These are distinct data elements within the certificate, and contribute to the size of the certificate: for example, a standard X.509 certificate is on the order of 1KB in size (~8000 bits).

An ECQV implicit certificate consists of identification data, and a single cryptographic value. This value, an elliptic curve point, combines the function of public key data and CA signature. ECQV implicit certificates can therefore be considerably smaller than explicit certificates, and so are useful in highly constrained environments such as Radio-frequency Identification RFID tags, where not a lot of memory or bandwidth is available.

ECQV certificates are useful for any ECC scheme where the private and public keys are of the form ( d, dG ). This includes key agreement protocols such as ECDH and ECMQV, or signing algorithms such as ECDSA. The operation will fail if the certificate has been altered, as the reconstructed public key will be invalid. Reconstructing the public key is fast (a single point multiplication operation) compared to ECDSA signature verification.

Comparison with ID-based cryptography

Implicit certificates are not to be confused with identity-based cryptography. In ID-based schemes, the subject's identity itself is used to derive their public key; there is no 'certificate' as such. The corresponding private key is calculated and issued to the subject by a trusted third party.

In an implicit certificate scheme, the subject has a private key which is not revealed to the CA during the certificate-issuing process. The CA is trusted to issue certificates correctly, but not to hold individual user's private keys. Wrongly issued certificates can be revoked, whereas there is no comparable mechanism for misuse of private keys in an identity-based scheme.

Description of the ECQV scheme

Initially the scheme parameters must be agreed upon. These are:

  • The elliptic curve parameters, including a generating point [math]\displaystyle{ G \, }[/math]of order [math]\displaystyle{ n \, }[/math].
  • An encoding function [math]\displaystyle{ \textrm{Encode}(\gamma, ID) }[/math] with a public key reconstruction data [math]\displaystyle{ \gamma }[/math] and an identifying information [math]\displaystyle{ ID }[/math] encodes its arguments as a byte-block, and a corresponding [math]\displaystyle{ \textrm{Decode}_{\gamma}( \sdot ) }[/math] which extracts the [math]\displaystyle{ \gamma }[/math] value from an encoding.
  • A hash function [math]\displaystyle{ H_n( \sdot ) }[/math] which accepts a byte-block and yields a hash value as an integer in the range [math]\displaystyle{ [0, n-1] }[/math]

The certificate authority CA will have private key [math]\displaystyle{ c \, }[/math] and public key [math]\displaystyle{ Q_{CA} = cG }[/math]

Certificate request protocol

Here, Alice will be the user who requests the implicit certificate from the CA. She has identifying information [math]\displaystyle{ ID_A }[/math].

  1. Alice generates a random integer [math]\displaystyle{ \alpha \, }[/math]
  2. Alice computes [math]\displaystyle{ A = \alpha\,G \, }[/math] and sends [math]\displaystyle{ A }[/math] and [math]\displaystyle{ ID_A }[/math] to the CA.
  3. CA selects a random integer [math]\displaystyle{ k \, }[/math] from [math]\displaystyle{ [1, n-1] \, }[/math] and computes [math]\displaystyle{ kG \, }[/math].
  4. CA computes [math]\displaystyle{ \gamma = A + kG \, }[/math] (this is the public key reconstruction data)
  5. CA computes [math]\displaystyle{ Cert= \textrm{Encode} ( \gamma , \textrm{ID}_A ) \, }[/math]
  6. CA computes [math]\displaystyle{ e = H_n( Cert ) }[/math]
  7. CA computes [math]\displaystyle{ s = ek + c \pmod{n} \, }[/math] ([math]\displaystyle{ s \, }[/math] is the private key reconstruction data)
  8. CA sends [math]\displaystyle{ (s, Cert) \, }[/math] to Alice
  9. Alice computes [math]\displaystyle{ e' = H_n (Cert) }[/math] and her private key [math]\displaystyle{ a = e'\alpha + s \pmod{n} \, }[/math]
  10. Alice computes [math]\displaystyle{ \gamma' = \textrm{Decode}_{\gamma} (Cert) }[/math] and her public key [math]\displaystyle{ Q_A = e'\gamma' + Q_{CA} \, }[/math]
  11. Alice verifies that the certificate is valid, i.e. that [math]\displaystyle{ Q_A = aG }[/math]

Using the certificate

Here, Alice wants to prove her identity to Bob, who trusts the CA.

  1. Alice sends [math]\displaystyle{ Cert }[/math] to Bob, and a ciphertext [math]\displaystyle{ C }[/math] created using her private key [math]\displaystyle{ a }[/math]. The ciphertext can be a digital signature, or part of an Authenticated Key Exchange protocol.
  2. Bob computes [math]\displaystyle{ \gamma'' = \textrm{Decode}_{\gamma} (Cert) }[/math] and [math]\displaystyle{ e'' = H_n (Cert) }[/math].
  3. Bob computes Alice's alleged public key [math]\displaystyle{ Q_A' = e''\gamma'' + Q_{CA} }[/math]
  4. Bob validates ciphertext [math]\displaystyle{ C }[/math] using [math]\displaystyle{ Q_A' }[/math]. If this validation is successful, he can trust that the key [math]\displaystyle{ Q_A' }[/math] is owned by the user whose identity information is contained in [math]\displaystyle{ Cert }[/math].

Proof of equivalence of private and public keys

Alice's private key is [math]\displaystyle{ a = e'\alpha + s = e\alpha + ek + c \pmod{n} }[/math]

The public key reconstruction value [math]\displaystyle{ \gamma = A + kG = (\alpha + k)G }[/math]

Alice's public key is [math]\displaystyle{ Q_A = e\gamma + Q_{CA} = e(\alpha + k)G + cG = (e\alpha + ek + c)G }[/math]

Therefore, [math]\displaystyle{ Q_A = aG }[/math], which completes the proof.

Security

A security proof for ECQV has been published by Brown et al.[2]

See also

  • Elliptic curve cryptography

References

  1. "Standards for efficient cryptography, SEC 4: Elliptic Curve Qu-Vanstone Implicit Certificate Scheme (ECQV)". www.secg.org. 2013-01-24. http://www.secg.org/sec4-1.0.pdf. 
  2. Brown, Daniel R. L.; Gallant, Robert P.; Vanstone, Scott A. (2001). "Provably Secure Implicit Certificate Schemes". Financial Cryptography 2001. Lecture Notes in Computer Science 2339 (1): 156–165. doi:10.1007/3-540-46088-8_15. http://www.cacr.math.uwaterloo.ca/techreports/2000/corr2000-55.ps. Retrieved 27 December 2015. 
  • Hankerson, D.; Vanstone, S.; Menezes, A. (2004). Guide to Elliptic Curve Cryptography. Springer Professional Computing. New York: Springer. doi:10.1007/b97644. ISBN 978-0-387-95273-4. 
  • certicom.com, Explaining Implicit Certificates, Code and Cipher Vol. 2, no. 2
  • Leon Pintsov and Scott Vanstone, Postal Revenue Collection in the Digital Age, Financial Cryptography 2000, Lecture Notes in Computer Science 1962, pp. 105–120, Springer, February 2000.

External links




Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Implicit_certificate
2 views | Status: cached on September 14 2024 06:17:35
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF