1. Technical Field
A “proxy re-signature system” provides a mechanism that allows secure proxy re-signatures, and in particular, various techniques for enabling secure, multi-use, unidirectional, and private proxy re-signatures in combination with various techniques for converting any secure proxy re-signature into one that is collusion-resistant with flexible temporary delegations without the need to involve a trusted third party.
2. Related Art
Conventionally, “proxy re-signature” techniques, as are well known to those skilled in the art, involve a cryptography technique in which a semi-trusted proxy acts as a translator between a delegatee (typically referred to as “Alice” or simply as “A”) and a delegator (typically referred to as “Bob” or simply as “B”). Such techniques are used to convert a signature (i.e., a “signing key”) from A into a signature from B on the same message.
However, for purposes of security, conventional proxy re-signature techniques ensure that the proxy does not actually learn the signing key of either Alice or Bob during the re-signature process, and cannot sign arbitrary messages on behalf of either Alice or Bob. In other words, in a conventional proxy re-signature scheme, a semi-trusted proxy is given some information which allows it to transform Alice's signature on a message m into Bob's signature on m, but the proxy cannot, on its own, generate signatures for either Alice or Bob. Note that in some unsecure signature schemes, an adversary may fake a signature by using the signatures he/she already has without knowing the signing key.
There are a number of properties that have been identified as desirable for use in various types of conventional proxy re-signature schemes. For example, these properties include the following:
Many applications have been proposed for using proxy re-signatures, including, for example, providing a proof for a path that has been taken; managing group signatures; simplifying certificate management; simplifying key management; Digital Rights Management (DRM) interoperable systems; privacy for public transportation; “fair exchange” proxy re-signature based contract signing protocols; etc.
Proxy re-signatures were originally introduced 1998 as a bidirectional, multi-use, and public proxy scheme. This original proxy re-signature required the calculation of k exponentiations in both the delegatee's signature generation and the proxy's transformation, where k is a security parameter input, which is suggested to be at least 160 bits for discrete logarithm-based schemes. Unfortunately, this original proxy re-signature scheme is considered to be inefficient, and, as such, it is generally considered to be unsuitable for many practical applications.
More recent proxy re-signature schemes have been based on bilinear maps, and are generally considered to be more suitable for various practical applications. For example, one such proxy re-signature scheme is both multi-use and bidirectional, while another such scheme is single-use and unidirectional. Both schemes are more efficient than the original proxy re-signature scheme. However, these proxy re-signature have several disadvantages that generally limit their utility for various applications.
For example, typical proxy re-signature schemes are not proven to be secure, unidirectional, and private. One proxy re-signature scheme is proven secure and unidirectional, but it is of public proxy. Unfortunately, many applications such as contract signing protocols require the underlying proxy re-signature scheme to be a private proxy. Further, none of the aforementioned proxy re-signature schemes is both unidirectional and multi-use simultaneously. Unfortunately, applications such as the proof of a taken path mentioned require the underlying proxy re-signature scheme to be simultaneously unidirectional and multi-use.
This Summary is provided to introduce a selection of concepts in a simplified form that are further described below in the Detailed Description. This Summary is not intended to identify key features or essential features of the claimed subject matter, nor is it intended to be used as an aid in determining the scope of the claimed subject matter.
In general, a “proxy re-signature system,” as described herein, provides a multi-use unidirectional proxy re-signature process, denoted as Smu, where a signature can be transformed in only one direction and can be re-transformed multiple times. In various embodiments, the proxy re-signature system provides either secure random oracle based re-signatures or secure re-signatures that do not rely on random oracles.
More specifically, in various embodiments, the proxy re-signature system provides various techniques for transforming a delegatee's signature on a message m into a delegator's on message m. In other words, assuming Bob's permission, the re-signature capability provided by the proxy re-signature system allows a message signed by Alice to be automatically re-signed using Bob's signature. Various combinations of the proxy re-signature techniques enabled by the proxy re-signature system provide an overall process that is unidirectional, multi-use, private, and non-interactive. As such, the proxy re-signature system is applicable for use with a wide range of applications.
The proxy re-signature system takes one of three basic forms, with various embodiments and modifications of each of the three basic forms. However, one important feature of all of these basic forms, is that the proxy re-signature system is collusion-resistant. In other words, the delegator (or delegatee) cannot collude with the proxy to produce the signatures that they have no privilege or are not authorized to produce. This property is advantageous since, in some applications, the secret keys of encryption and signature are the same, and, if this property is held, Alice can delegate signing rights to either the proxy or to Bob while keeping the decryption rights.
For example, one of the three basic forms of the proxy re-signature system provides various non-interactive message re-signature techniques under a random oracle model. In this first basic form of the proxy re-signature system, only the delegator, i.e., Bob, is required use his secret key with the public key of the delegatee, i.e., Alice, to generate the re-signature key and delegates the re-signature key to the proxy to transform the signature of the delegatee on some message to the signature of the delegator on that same message.
A second basic form of the proxy re-signature system provides various non-interactive message re-signature techniques under a random oracle model. In this second basic form of the proxy re-signature system, only the delegator (e.g., Bob) is required to use his secret key to generate the re-signature key to transform the delegatee's signature on some message to the delegator's on that same message, while only a public key is required from the delegatee (e.g., Alice). In this case, assuming Bob's permission, Alice's signature is transformed on the message into Bob's signature using Bob's private key and Alice's public key.
Finally, a third basic form of the proxy re-signature system provides various non-interactive message re-signature techniques under the standard model (i.e., no random oracles). In this third basic form of the proxy re-signature system, the re-signature key is generated in a similar way as the other two basic forms: delegator Bob uses his private key and the public key of delegatee Alice to generate the re-signature key and delegates the re-signature key to the proxy to transform the signature of the delegatee (i.e., Alice) on some message to the signature of the delegator (i.e., Bob) on that same message.
Note that as is well known to those skilled in the art of cryptography, a “random oracle” is a theoretical black box (typically implemented as a mathematical algorithm) that responds to every query with a random response chosen uniformly from its output domain, except that for any specific query, it responds the same way every time it receives that query. In other words, a random oracle is a mathematical function mapping every possible query to a random response from its output domain.
In view of the above summary, it is clear that the proxy re-signature system described herein provides various unique techniques for automatically and securely re-signing messages by transforming the signature of a delegatee to that of a delegator using collusion resistant re-signature processes. In addition to the just described benefits, other advantages of the proxy re-signature system will become apparent from the detailed description that follows hereinafter when taken in conjunction with the accompanying drawing figures.
The specific features, aspects, and advantages of the claimed subject matter will become better understood with regard to the following description, appended claims, and accompanying drawings where:
In the following description of the embodiments of the claimed subject matter, reference is made to the accompanying drawings, which form a part hereof, and in which is shown by way of illustration specific embodiments in which the claimed subject matter may be practiced. It should be understood that other embodiments may be utilized and structural changes may be made without departing from the scope of the presently claimed subject matter.
The first known proxy re-signature scheme in was introduced 1998, and was a bidirectional, multi-use, and public proxy scheme. The definition for security in proxy re-signature schemes was first formalized in a well known publication in 2005 entitled “Proxy re-signatures: new definitions, algorithms, and applications,” by G. Ateniese, S. and Hohenberger, in Proceedings of the 12th ACM Conference on Computer and Communications Security (Alexandria, Va., Nov. 7-11, 2005), ACM CCS 2005, pages 310-319.
In general, Ateniese and Hohenberger formalized the definition of security for a proxy re-signature (referred to herein as the “AH model”), and then proposed two proxy re-signature schemes of proven security based on bilinear maps and more applications of proxy re-signatures. The AH model describes both single-use unidirectional proxy re-signatures, denoted as “Suni,” and multi-use bidirectional proxy re-signatures, denoted as “Sbi.” In conventional unidirectional proxy re-signature schemes, there are two types of signatures: the first-level signature produced only by the signer, and the second-level signature produced by either the signer or collaboration between the signer's proxy and a delegatee. However, in conventional bidirectional proxy re-signature schemes, there is only one type of signature.
The AH model generally covers two types of forgeries for multi-use bidirectional proxy re-signatures (i.e., Sbi schemes): (1) an outsider who is neither the proxy nor one of the delegation parties aims to produce signatures on behalf of either delegation party; and (2) the proxy aims to produce signatures on behalf of either delegation party. In contrast, for single-use unidirectional proxy re-signatures (i.e, Suni schemes), the AH model includes the two types of forgeries noted above with respect to multi-use bidirectional proxy re-signatures, in addition to two additional types of forgeries, including: (3) the delegator colludes with the proxy to produce signatures on behalf of the delegatee; and (4) the delegatee colludes with the proxy to produce the first-level signatures.
Unfortunately, for unidirectional proxy re-signatures, the AH model does not cover all types of forgeries. For example, in a unidirectional proxy re-signature, the delegatee can attempt a forgery by fraudulently producing second-level signatures on behalf of the delegator. This type of forgery is not covered by the AH model, thereby making the AH model subject to attacks based on vulnerabilities relating to such forgery types.
Consequently, in various embodiments, a “proxy re-signature system,” as described herein provides a modified security model for proxy re-signatures that protects against additional forgery cases not covered by conventional proxy re-signature schemes. For example, the conventional AH model cannot cover attacks on unidirectional schemes in which the delegatee may attempt to produce a second-level signature on an arbitrary message on behalf of the delegator. This modified security model is referred to herein as the “proxy re-signature system security model.”
More specifically, given the following transformation path for a message: Alice→Proxy→Bob, Alice may fraudulently attempt to produce a second-level signature on the message on behalf of Bob. In this case, production of a second-level signature by Alice on behalf of Bob is fraudulent since Bob has delegated his signing rights to Proxy but not to Alice. While conventional proxy re-signature schemes are vulnerable to such attacks, the proxy re-signature system described herein provides an improved security model that is resistant to such attacks in the case of unidirectional proxy re-signatures.
In addition, in various embodiments, the proxy re-signature system provides a proven secure, multi-use, non-interactive, and unidirectional proxy re-signature scheme, denoted as “Smu”. In particular, a random oracle based security proof for Smu is provided based on various assumptions, including the well known “Computational Diffie-Hellman” (CDH) assumption and the well known “weaker Computational Diffie-Hellman” (wCDH) assumption. In related embodiments, the Smu proxy re-signature process is further modified to produce an additional proxy re-signature process, denoted as Smu*,” which is proved to be secure without relying on random oracles. The underlying assumptions used in proving the security of the Smu * proxy re-signature process include the aforementioned CDH assumption and the well known “Extended Computational Diffie-Hellman” (ECDH) assumption.
Note that as is well known to those skilled in the art of cryptography, a “random oracle” is a theoretical black box (typically implemented as a mathematical algorithm) that responds to every query with a random response chosen uniformly from its output domain, except that for any specific query, it responds the same way every time it receives that query. In other words, a random oracle is a mathematical function mapping every possible query to a random response from its output domain.
As noted above, the proxy re-signature system provides various techniques for automatically and securely re-signing messages by transforming the signature of a delegatee to that of a delegator using various collusion resistant re-signature processes. The processes summarized above are illustrated by the general system diagram of
In addition, it should be noted that any boxes and interconnections between boxes that are represented by broken or dashed lines in
In general, as illustrated by
In various embodiments, as described in further detail in Section 3, the transformation from Alice's 105 signature to Bob's 110 signature depends only on the re-signature key, and does not directly require one or more of Alice's and/or Bob's private keys. In re-signature key generation module 175, delegator Bob 110 uses his private key and delegatee Alice's 105 public key to generate the re-signature key and delegates the re-signature key to proxy 100.
In general, as described with respect to various embodiments of a “KeyGen” algorithm in Section 3.1, Section 3.4 and Section 3.5, the signer 102 first uses a key pair generation module 125 to generate a pair of keys (public key and private key), pk=ga and sk=a, from the input of a security parameter, 1k, which is used to select a random number a ε Zq* using a conventional discrete logarithm-based key generation algorithm. Note that in some embodiments, the resulting key pair is used for a long time, while in other embodiments, the resulting key pair is temporary, and will expire after some predetermined period of time, or after one or more uses, as desired, in order to provide enhanced security.
Next, assuming that an unsigned message 120 is received by Alice 105, a message signing module 130 is used to securely sign the unsigned message 120 with Alice's signature. Note that depending upon the particular form of the proxy re-signature system (i.e., random-oracle model, alternative random-oracle model, or standard model, as described in further detail below), the signature is determined in different ways, which require either private or public keys. Specifically, the various forms of the signature produced on the message 120 by the message signing module 130 are described with respect to various embodiments of a “Sign” algorithm in Section 3.1, Section 3.4 and Section 3.5. Further, it should be noted that each signature can be either an owner-type signature, or a non-owner-type signature. See Section 2.1.2 for a discussion of signature types.
Next in the signature verifier 104, a signature verification module 155 evaluates signed messages. This signed message can be a message 140 signed directly by the signer, such as delegatee Alice 105 or delegator Bob 110, or a re-signed message 190 provided by the re-signature proxy 100. and the signature verification module 155 determines 160 whether that signature is valid. Note that depending upon the signature type and the particular embodiment of the proxy re-signature system, different signature validation techniques are required. For example, several of the various signature validation embodiments are described with respect to various embodiments of a “Verify” algorithm in Section 3.1, Section 3.4 and Section 3.5. In any case, if the signature is determined to be invalid 160, then a forgery alert module 165 terminates the verification process. Note that, if desired, the forgery alert module 165 can perform additional actions such as notifying the signer and/or one or more third parties of the attempted forgery, etc.
In one embodiment, the re-signature proxy 100 consists of three modules: the re-signature key generation module 175, the optional signature verifier 104, and re-signature module 180. In the re-signature key generation module 175 delegator Bob 110 uses his private key and delegatee Alice's 105 public key to generate a re-signature key using a “ReKey” algorithm, and then delegates this re-signature key to proxy 100. More specifically, in various embodiments, as described with respect to various embodiments of a “ReKey” algorithm in Section 3.1, Section 3.4 and Section 3.5, the re-signature key generation module 175 constructs the re-signature key non-interactively using various combinations of Alice's 105 public key and Bob's 100 private key.
For a message 170 signed by Alice 105, the signature verifier 104 inside the re-signature proxy 100 can optionally verify Alice's signature on the message before passing it to the re-signature module 180. If Alice's 105 signature is determined 160 to be invalid, forgery alert module 165 inside the signature verifier 104 terminates the re-signature process, and may send alert relevant parties of the forgery. However, assuming that the signature verifier 104 determines 160 that the signature on the message is valid, the re-signature module 180 then acts to transform Alice's 105 signature on the signed message 170 into Bob's 110 signature, resulting in message 190 signed by Bob. Note that Alice's 105 signed message 170 can be a message 140 signed directly by Alice or re-signed by a proxy to transform somebody else's signature into Alice's signature on a message. Again, depending upon the signature type and the particular embodiment of the proxy re-signature system, different signature transformation techniques are required. For example, several of the various signature transformation embodiments are described with respect to various embodiments of a “ReSign” algorithm in Section 3.1, Section 3.4 and Section 3.5.
Next, having transformed Alice's 105 signature 170 on a message 120 into Bob's 110 signature on that message, the re-signature proxy 100 outputs the re-signed message 190 for use as desired.
Finally, it should be noted that having transformed Alice's 105 signature 170 on a message 120 into Bob's 110 signature on that message, the resulting message 190, having Bob's signature, can be processed to transform Bob's signature to that of another party. For example, in this case, Bob 110 would act as the delegatee with respect to the signed message 190. That message 190 would then be processed in the manner described above with respect to message 140 or 170 to transform Bob's signature to that of some third party delegator.
The following paragraphs describe various considerations, definitions, and proofs used to provide a detailed description of the proxy re-signature system.
A unidirectional proxy re-signature process S consists of the following five random algorithms: KeyGen, ReKey, Sign, ReSign, and Verify where:
rkA→B←ReKey(pkA,skA,pkB,skB) Equation 1
σB←ReSign(rkA→B,pkA,m,σA) Equation 2
In general, the idea of “correctness” is a conventional concept for determining whether a proxy re-signature is correct. In particular, for any message m in the message space and any two key pairs (pkA,skA) and (pkB,skB), let σA be a signature on message m corresponding to pkA either from Sign or ReSign (see Section 2.1) Then, in order to guarantee that all signatures produced by either Sign or ReSign pass verification for correctness, the following two equations must both hold:
Verify(pkA,m,σA)=1 Equation 3
Verify(pkB,m,ReSign(rkA→B,pkA,m,σA))=1 Equation 4
In conventional unidirectional proxy re-signature schemes, a signature may manifest in two types: the owner-type (also conventionally referred to as the “first-level” signature) and the non-owner-type (also conventionally referred to as the “second-level” signature). An owner-type signature can be computed only by the owner of the secret key, while a non-owner-type signature can be computed not only by the owner of the secret key, but also by collaboration between his proxy and delegatee.
In general, the proxy re-signature system provides a security model that improves over conventional proxy re-signature techniques by ensuring that various forgery cases that were unprotected using conventional techniques are prevented by the improved security model of the proxy re-signature system. In other words, the security model of the proxy re-signature system provides improved delegator security for unidirectional proxy re-signatures. Specifically, the improved security model ensures that a signature on a particular message cannot be modified to become another signature on the same message.
External security deals with “adversaries” (e.g., those who are attempting to perpetrate a forgery) other than the proxy and any delegation parties. In general, a unidirectional proxy re-signature scheme has external security if and only if for security parameter k, any non-zero n ε poly(k), and all probabilistic polynomial time (PPT) algorithms A, the following probability is negligible:
Pr[{pki,ski}←KeyGen(1k)}iε[1,n],
(t,m,σ)←AO
Verify(pkt,m,σ)=1(t,m) ∉ Q] Equation 5
where oracle, Osign, takes as input a public key pki and a message m ε M, and produces an output Sign(ski,m); oracle “Oresign” takes as input two distinct public keys pki and pkj, a message m, and a signature σ, and produces an output ReSign(ReKey(pki,ski,pkj,ski),pki,m,σ); and Q denotes the set of (index,message) pairs (i,m) that A (i.e., Alice) obtains a signature on an message m under the public key pki by querying Osign on (pki,m) or querying Oresign on (•,pki,m,•)
Internal security protects a user from inside adversaries who can be any parties, i.e., the proxy, the delegatee, and the delegator, in a proxy re-signature. Internal security can be classified into the following three types:
Limited Proxy: In the case of a limited proxy, the adversary is considered to be user A (i.e., Alice). The proxy re-signature system must guarantee that the proxy cannot produce signatures on behalf of either the delegator or the delegatee except the signatures produced by the delegatee and delegated to the proxy to re-sign. Internal security in this case is very similar to the external security described above, except that A queries a rekey oracle Orekey instead of a re-signing oracle Oresign. A unidirectional proxy re-signature scheme is said to have limited proxy security if and only if for security parameter k, any non-zero n ε poly(k), and all PPT algorithms A, the following probability is negligible:
Pr[{pki,ski}←KeyGen(1k)}iε[1,n],
(t,m,σ)←AO
Verify(pki,m,σ)=1(t,m) ∉ Q], Equation 6
where Osign is the same as those in external security, oracle Orekey takes as input two distinct indices 1≦i,j≦n and returns the output of ReKey(pki,ski,pkj,skj); and Q denotes the set of (index,message) tuples (i,m) that A obtained a signature on m under public key pkt or one of its delegatees' keys by querying oracle Osign.
Delegatee Security: In the case of delegatee security, it is assumed that the proxy and delegator may collude with each other to perpetrate a forgery. Thus, delegatee security guarantees that any attempted collusion between the proxy and delegator cannot produce any unauthorized signatures on behalf of the delegatee. A unidirectional proxy re-signature scheme is said to have delegatee security if and only if for security parameter k, any non-zero n ε poly(k), and all PPT algorithms A, the following probability is negligible:
Pr[{pki,ski}←KeyGen(1k)}iε[0,n],
(m,σ)←AO
Verify(pk0,m,σ)=1(0,m) ∉ Q], Equation 7
where index 0 denotes the delegatee, Λ≠0, and Q is the set of pairs (0,m) that A obtains a signature by querying oracle Osign on (0,m).
Delegator Security: There are several considerations with respect to delegator security. As such, several terms are first defined before describing delegator security concerns:
If user A delegates his signing rights to user B via a proxy P, and user B delegates his signing rights to user C via a proxy P′, then user A and user C are said to be in a delegation chain too. User C is also called user A's delegation predecessor. In this case, users A,B,C are in a delegation chain (C,B,A). The delegation chains (B,A) and (C,B) are delegation subchains of the delegation chain (C,B,A). A delegation chain is also its own subchain. The ending user of a delegation subchain is called the terminal of that delegation subchain. For example, user A is the terminal of the delegation subchain (C,B,A). If two users A and B are in a delegation chain and B is A's delegation predecessor, then B's signature can be transformed by a proxy or proxies into A's signature.
In terms of delegator security, there are two cases in which the proxy and the delegatee may collude with each other to perpetrate a forgery. These two cases are described in the following paragraphs.
Pr[{pki,ski}←KeyGen(1k)}iε[0,n],
(m,σ)←AO
Verify(pk0,m,σ)=1(0,m) ∉ Q], Equation 8
Pr[{pki,ski}←KeyGen(1k)}iε[0,n],
(m,σ)←AO
(pk0,{pki}iε[1,n]): Verify(pk0,m,σ)=1m ∉ Q], Equation 8
Conventional bilinear maps and bilinear map groups are briefly reviewed in the following paragraphs for purposes of explanation. However, it should be noted that bilinear maps and bilinear map groups, as such, these concepts will not be discussed in detail. In particular, bilinear maps and bilinear map groups can be described in terms of the following definitions:
Let G and GT be two groups as above. Then, an admissible bilinear map is a map e: G×G→GT with the following properties:
G is said to be a bilinear group if the group action in G can be computed efficiently and there exists a group GT and an efficiently computable bilinear map as above. The term “BSetup” is used to denote an algorithm that, given an input of security parameter, 1k, outputs parameters for a bilinear map as (q,g,G,GT,e), where q ε Θ(2k).
The security of the various embodiments of the proxy re-signature system is based on the Computational Diffie-Hellman (CDH) assumption, the Strong Computational Diffie-Hellman (wCDH) assumption, and the Extended Computational Diffie-Hellman (ECDH) assumption.
The CDH problem in a finite cyclic group G with prime order q is as follows: Given g, ga, gb for some a, b ε Zq*, compute gab. An algorithm A has an advantage ε in solving the CDH problem if:
Pr[A(g,ga,gb)=gab]≧ε, Equation 9
where the probability is over random choices of a,b in Zq*, a random choice of g ε G*, and the random bits of A.
CDH Assumption (Definition 2): The ε-CDH assumption is true if no PPT algorithm has an advantage of at least ε in solving the CDH problem.
2.4.2 wCDH Problem:
The wCDH problem in a finite cyclic group G with prime order q is as follows: Given g,ga,gb,gc for some a,b,c ε Zq*, compute gab/c. An algorithm A has advantage ε in solving wCDH problem if:
Pr[A(g,ga,gb,gc)=gab/c]≧ε, Equation 10
where the probability is over random choices of a,b,c in Zq*, a random choice of g ε G*, and the random bits of A.
wCDH Assumption (Definition 3): The ε-wCDH assumption is true if no PPT algorithm has an advantage of at least ε in solving the wCDH problem.
Note that the wCDH assumption is a weaker version of the CDH assumption. If c=1, then it can be easily seen that the wCDH assumption is equivalent to the CDH assumption. Therefore, if the wCDH problem can be solved, than the CDH problem can also be solved.
2.4.3 ECDH Problem:
The ECDH problem in a finite cyclic group G with prime order q is as follows: Given g,ga,gb,gc for some a,b,c ε Zq*, compute gab/c. An algorithm A has advantage ε in solving ECDH problem if:
Pr[A(g,ga,gb,gc,gb/c)=gab/c]≧ε, Equation 11
where the probability is over random choices of a,b,c in Zq*, a random choice of g ε G*, and the random bits of A.
ECDH Assumption (Definition 4): The ε-ECDH assumption is true if no PPT algorithm has an advantage of at least ε in solving the ECDH problem.
A conventional short signature scheme for securely signing messages was proposed by authors Boneh, Lynn, and Shacham in two well known publications entitled:
In general, the authors of these two publications introduced a “short signature” scheme for use in secure signature applications. This short signature scheme is referred to herein as the “BLS” scheme. The public parameters of the BLS scheme are (q,g,G,GT,e), where (q,g,G,GT,e)←BSetup(1k), and H is a cryptographic hash function: {0,1}*→G.
The BLS scheme generally makes use of three basic algorithms, including a KeyGen algorithm, a Sign, and a Verify algorithm, where:
σ←BLS.Sign(x,m) Equation 13
BLS.Ver(σ,y,m) Equation 14
Theorem 1: If the CDH assumption is true for G, the BLS scheme is secure under adaptive chosen-message attacks in the random oracle model.
In various embodiments, the proxy re-signature system provides a unique modification of the BLS scheme, referred to herein as the “mBLS” process. The public parameters of the mBLS process are the same as defined above for the BLS scheme. As with the BLS scheme, the mBLS process includes three basic algorithms, including a KeyGen algorithm, a Sign, and a Verify algorithm, where:
σ←mBLS.Sign(x1/x2,m) Equation 15
mBLS.Ver(σ,(y1,y2),m) Equation 16
Theorem 2: If the wCDH assumption is true for G, the mBLS process is secure under adaptive chosen-message attacks in the random oracle model.
A conventional signature scheme that does not require the use of random oracles was introduced in a publication entitled “Efficient identity-based encryption without random oracles,” by B. Waters, in Advances in Cryptology, Eurocrypt 2005, volume 3494 of LNCS 3494, pp. 114-127, Springer-Verlag, 2005. This conventional identity-based encryption scheme, referred to herein as the “Waters scheme,” provides an efficient identity-based encryption scheme that is secure in the full model, without random oracles. The security of the Waters scheme was proved by reducing it to a decisional Bilinear Diffie-Hellman problem.
In various embodiments, the proxy re-signature system provides a unique modification (identified using the notation “Smu*”) of the Waters scheme for use in providing proxy re-signatures. Consequently, the following paragraphs will generally describe the Waters scheme prior to introducing the unique modification to the Waters scheme.
In general, the public parameters of the Waters scheme are (q,g,G,GT,e), where (q,g,G,GT,e)←BSetup(1k). The following terminology is used through the remainder of the detailed description: Hw(m)=u′·ΠiεUui, where U ⊂ {1, . . . ,nm} is the set of indices i such that m[i]=1, and m[i] is the i-th bit of m. As with other conventional secure signature schemes, the Waters scheme includes three basic algorithms, including a KeyGen algorithm, a Sign, and a Verify algorithm, where:
σ←Waters.Sign(sk,m) Equation 17
Waters.Ver(σ,pk,m) Equation 18
Theorem 3: If the CDH assumption is true for G, the Waters scheme is secure under adaptive chosen-message attacks in the standard model, without the use of random oracles
A process referred to herein as the “mWat” process of the proxy re-signature system provides a novel modification of the Waters scheme described in Section 2.7. The mWat process provides a secure process that enables various embodiments of the proxy re-signature system to perform proxy re-signature operations without the use of random oracles. As with other secure signature processes, the mWat process includes three basic algorithms, including a KeyGen algorithm, a Sign, and a Verify algorithm, where:
σ←mWat.Sign(sk,m) Equation 19
mWat.Sign(σ,(pk1,pk2,pk3),m) Equation 20
Theorem 4: If the ECDH assumption is true for G, the mWat process is secure under adaptive chosen-message attacks in the standard model without the use of random oracles.
The following paragraphs describe an example of a proxy re-signature scheme that is proven to be secure under the AH model, but is proven to be insure under the proxy re-signature system security model described herein. In other words, the proxy re-signature system security model provides enhanced security relative to the conventional AH model.
In particular, the following paragraphs describe a unidirectional multi-use proxy re-signature process referred to herein as “Sumu.” The Sumu process is secure under the conventional AH model but insecure in the proxy re-signature system security model. This fact shows that the proxy re-signature system security model is more secure than the AH model.
The public parameters of scheme Sumu are almost the same as those of the aforementioned BLS scheme, except that there are two hash functions in Sumu: H1,H2: {0,1}*→G. As with other proxy re-signature schemes, the Sumu scheme includes five basic algorithms, including: KeyGen, ReKey, Sign, ReSign, and Verify where:
If the verification fails (i.e, Verify(pkA,m,σ)≠1), then the ReSign algorithm outputs ⊥; otherwise:
If the equation is true, the Verify algorithm outputs 1; otherwise, the Verify algorithm outputs 0.
Since the Sumu scheme is implemented using the BLS scheme, conventional BLS proofs, including the oracles in the proof of the BLS scheme can be used to validate the security of the Sumu scheme. In particular, a forgery under the BLS scheme can be identified when the adversary, attacking on scheme Sumu, outputs a forgery of scheme Sumu. As a result, the Sumu scheme is secure in the AH model.
However, consider the following case: Alice→Proxy→Bob. First, Alice can produce a non-owner-type signature on m: σa=(H1(m)r,gr,H2(gr)a), where Alice knows the value of r. Then, Proxy can transform Alice's signature, σa, into Bob's signature σb=(H1(m)r,gr,H2(gr)ar
In other words, while the Sumu scheme appears to be secure under the conventional AH model, the proxy re-signature system security model shows that the Sumu scheme is actually insecure. As such, the proxy re-signature system security model provides improved security for proxy re-signature operations.
As noted above, the proxy re-signature system provides various techniques for automatically and securely re-signing messages by transforming the signature of a delegatee to that of a delegator using various collusion resistant re-signature processes. The following sections provide a detailed discussion of the operation of various embodiments of the proxy re-signature system, and of exemplary methods for implementing the program modules described in Section 1 with respect to
3.1 Random Oracle Model Version of Proxy Re-Signature System Smu:
A random oracle-based embodiment of the proxy re-signature system, referred to herein as “Smu” provides an improved version of Sumu scheme that is proven to be secure under the proxy re-signature system security model (as well as being secure under other security models, such as the AH model). The pubic parameters of the Smu process are almost the same as those of the Sumu scheme, except for an additional hash function: H3:{0,1}*→G. As with other proxy re-signature schemes, the Smu proxy re-signature process includes five basic algorithms, including: KeyGen, ReKey, Sign, ReSign, and Verify where:
rk
A→B=(r,pkAr,BLS.Sign(b,pkAr∥pkA)). Equation 21
C
j
=mBLS.Sign(aj/bj,s)(1≦j≦i),
D
j
=BLS.Sign(aj+1,ga
D
i
=BLS.Sign(a,ga
If the verification fails (i.e, Verify(pkA,m,σ)≠1), then the ReSign algorithm outputs ⊥; otherwise:
C=mBLS.Sign(r,s),
D=BLS.Sign(b,pkAr∥pkA)
If the equation is true, the Verify algorithm outputs 1; otherwise, the Verify algorithm outputs 0.
Note that the Verify algorithm shown above can be described in terms of a unique modification of the BLS scheme and the mBLS process as shown below. Note that in each of the following two cases, if each of the following equations is true, the Verify algorithm outputs 1; otherwise, the Verify algorithm outputs 0:
BLS.Ver(s,A1,m),
mBLS.Ver(Cj,(Aj,Bj),s) (1≦j≦i),
BLS.Ver(Dj,Aj+1,Aj∥Bj)(1≦j<i),
BLS.Ver(Di,pk,Ai∥Bi).
Lemma 1: In the random oracle case, the Smu proxy re-signature process is correct and secure if both the BLS scheme and the mBLS process are secure under adaptive chosen-message attacks.
Proof Summary: Since the Smu proxy re-signature process is implemented by the BLS scheme and the mBLS process, security proofs of the Smu proxy re-signature process can be achieved using the proofs of the BLS scheme and the mBLS process, as described above, particularly with respect to the oracles in the proofs of the BLS scheme and the mBLS process. Therefore, all oracles (with the exception of the rekey oracle, as discussed in Section 3.2.1) required by the proxy re-signature system security model can be answered. Furthermore, a forgery can always be identified with either the BLS scheme or the mBLS process when the adversary, attacking Smu, outputs a forgery of Smu. As a result, the Smu proxy re-signature process is secure under the proxy re-signature system security model.
In view of Theorem 1 and Theorem 2 (see Section 2.5 and Section 2.6, respectively, there are several random oracles, as described below. As noted above, a random oracle is a theoretical black box (typically implemented as a mathematical algorithm) that responds to every query with a random response chosen uniformly from its output domain, except that for any specific query, it responds the same way every time it receives that query. In other words, a random oracle is a mathematical function that maps every possible query to a random response from its output domain.
Note that that running the BLS.KeyGen oracle twice is equivalent to running the mBLS.KeyGen oracle once. Note also that the following discussion uses the BLS.H oracle to answer the two random oracles OH
For each query on Orekey on the input (pki,pkj), the Challenger (either Alice or Bob, depending upon the circumstances) searches for the tuple (pki,pkj,Λ1,Λ2,Λ3) in table Trk.
If this tuple, (pki,pkj,Λ1,Λ2,Λ3) does not exist, the Challenger chooses a random number rij from Zq*, computes Rij=(pki)r
However, if this tuple, (pki,pkj,Λ1,Λ2,Λ3), does exist, the Challenger just returns (Λ1,Λ2,Λ3) to the adversary (either Alice or Bob, depending upon the circumstances).
For each query to Orekey on the input (pki,pkj) (pkj≠pk0), the Challenger searches for the tuple (pki,pkj,Λ1,Λ2,Λ3) in table Trk.
If this tuple, (pki,pkj,Λ1,Λ2,Λ3), does not exist, Bob chooses a random number rp ε Zq* and sends (r,pkir,H3(pkir∥pki)x
Conversely, if this tuple, (pki,pkj,Λ1,Λ2,Λ3), does exist, the Challenger just returns (Λ1,Λ2,Λ3) to the adversary.
For each query to Orekey on the input (pki,pkj), the Challenger searches for the tuple (pki,pkj,Λ1,Λ2,Λ3) in table Trk.
If this tuple does not exist, there are three cases:
Conversely, if this tuple, (pki,pkj,Λ1,Λ2,Λ3), does exist, the Challenger just returns (Λ1,Λ2,Λ3) to the adversary.
Combining Theorem 1, Theorem 2 and the Lemma 1, Theorem 5 is constructed, as follows:
Theorem 5: In the random oracle model, the Smu proxy re-signature process is correct and secure under the Computational Diffie-Hellman (CDH) assumption and the weaker Computational Diffie-Hellman (wCDH) assumption in G (External and Internal Security).
In various embodiments, to reduce the size of re-signature, the proxy re-signature system applies aggregate signature techniques for aggregating Dj (1≦j≦i) into D=Πj=1iDj. As a result, the verification equation of non-owner-type signatures changes to the construct illustrated by Equation 23, where:
In order to maintain the multi-use property, the last Dj (1≦j≦i), i.e. Di is stored as part of the signature, since in the scheme Smu, the re-sign process changes Dj into
The last Dj can be verified by checking
The new aggregated D after re-signature, denoted as D′, changes into
This alternative version of proxy re-signature process, denoted as Smu′, is more efficient than the previous described proxy re-signature process Smu. It includes four basic algorithms (since a signed message is assumed to be already available), including: KeyGen, ReKey, ReSign, and Verifywhere:
is true (i.e., whether Alice's signature on message m is valid). If the verification check fails (i.e., Verify(pkA,m,σ)≠1, the ReSign algorithm outputs ⊥; otherwise, if the verification check is true (i.e., Verify(pkA,m,σ)=1), then:
and D=rkA→B(3)=H3(gr∥ga)b.
rkA→B(3)), where rkA→B(2)=gr,
and rkA→B(3)=H3(gr∥pkA)b).
If this equation is true, then the Verify algorithm outputs 1; otherwise, the Verify algorithm outputs 0.
The signature can be shortened by aggregating Dj into D=Πj=1iDj, and aggregating Cj into C=Πj=1iCj. The last Cj and Dj in this scheme do not need to be stored since re-signature does not change the last Cj and Dj in the old signature.
3.5 Standard Model Version of the Proxy Re-Signature System:
In various embodiments, the proxy re-signature system is further modified to convert the Smu proxy re-signature process into an “Smu*” proxy re-signature process that is proven secure in the proxy re-signature system security model without requiring the use of random oracles.
In general, the above-described Smu proxy re-signature process is modified by replacing the BLS scheme with the Waters scheme, and replacing the mBLS process with the mWat process, respectively. Since both the Waters scheme and the mWat process are proven secure in the standard model, the Smu* proxy re-signature process is also proven secure in the standard model.
In particular, the pubic parameters of the Smu* proxy re-signature process are similar to those of the Waters scheme, except for the inclusion of three additional hash functions H1:{0,1}*→{0,1}n
(Dj(1),Dj(2),Dj(3))=mWat.Sign(aj/bj,s)(1≦j≦i),
(Ej(1),Ej(2))=Waters.Sign(a2,ga
(Ei(1),Ei(2))=Waters.Sign(a,ga
is true. If the verification fails (i.e., Verify(pkA,m,σ)≠1), then the ReSign algorithm outputs ⊥; otherwise, if the verification succeeds (i.e., Verify(pkA,m,σ)=1), then the ReSign algorithm performs the following:
(D1(1),D1(2),D1(3))←mWat.Sign(r,H2(s(1)∥s(2))),
(E1(1),E1(2))←Waters.Sign(b,H3(pkAr∥pkA)).
(g2rk
(rkA→B(4),rkA→B(5))←Waters.Sign(b,H3(pkAr∥pkA)).
is true. If this condition is true, then the Verify algorithm outputs “1”; otherwise, the Verify algorithm outputs “0”.
Note that the above-described Verify algorithm can be described in terms of a unique modification to the Waters scheme and the mWat process as follows, where, in either case, if the outputs of all verifications are true, the Verify algorithm outputs “1”; otherwise, the Verify algorithm outputs “0”, where:
Waters.Ver(σ,pk,H,1(m))
Waters.Ver((s(1),s(2)),A1,H1(m)), where:
mWat.Ver((Dj(1),Dj(2),Dj(3)),(Aj,Bj,Cj),H2(s(1)∥s(2))),
e(Cj,Bj)=e(Aj,g),e(Bj,Dj(2))=e(Dj(3),g),
Waters.Ver((Ej(1),Ej(2)),Aj+1,H3(Aj∥Bj),
Waters.Ver((Ei(1),Ei(2)),pk,H3(Ai∥Bi)).
The following paragraphs discuss security considerations of the Smu* proxy re-signature process without the use of random oracles.
Lemma 2: In the standard model, the Smu* proxy re-signature process is correct and secure if both the Waters scheme and the mWat scheme are secure under adaptive chosen-message attacks.
Proof Summary: As discussed above, in order to construct the Smu* proxy re-signature process from a starting point of the Smu proxy re-signature process, the BLS scheme and the mBLS process of the Smu proxy re-signature process were replaced with the Waters scheme and the mWat process, respectively. Therefore, the proof of Lemma 1 can be used to prove the security of the Smu* proxy re-signature process by changing BLS and mBLS to Waters and mWat, respectively.
Then, combining Theorem 3, Theorem 4 and Lemma 2, Theorem 6 is constructed, as follows:
Theorem 6: In the standard model, the Smu* proxy re-signature process is correct and secure under the Computational Diffie-Hellman (CDH) assumption and the Extended Computational Diffie-Hellman (ECDH) assumption in G (External and Internal Security).
In view of the preceding discussion, it should be clear that there are three basic forms of the proxy re-signature system, with numerous additional embodiments associated with each of those forms. In particular, as described in Section 3.1, one of the three basic forms of the proxy re-signature system provides various non-interactive message re-signature techniques under a random oracle model. As described in Section 3.4, the second basic form of the proxy re-signature system provides various alternative non-interactive message re-signature techniques under a random oracle model. Finally, as described in Section 3.5, the third basic form of the proxy re-signature system provides various non-interactive message re-signature techniques under the standard model (i.e., no random oracles.
The processes described above with respect to
Further, it should be noted that any boxes and interconnections between boxes that may be represented by broken or dashed lines in
In general, as illustrated by
In particular, as described above in Section 3.1, in the Smu proxy re-signature process, the key pair generation module 225 receives an input of a security parameter, 1k. The KeyGen algorithm of the Smu proxy re-signature process then uses the security parameter, 1k to select a random number a ε Zq*, and generate 225 the key pair pk=ga and sk=a.
Next, re-signature key generator 230 produces a re-signature key to be used by the re-signing module 255 to transform delegate Alice's 210 signature to delegator Bob's 215 signature. In general, as described in detail in Section 3.1, given an input of Alice's public key pkA=ga and Bob's private key skB=b, the ReKey algorithm of the Smu proxy re-signature key generating process 230 generates the re-signature key rkA→B=(r,pkAr,H3(pkAr∥pkA)b), where r is a random number in Zq* determined by Bob. Note that the re-signature key is generated by delegator Bob alone, and the resulting key is sent to the proxy through a secure channel so that the proxy can use it to transform Alice's signature on a message to Bob's signature on that same message. Delegatee Alice or the proxy is not involved in generating the re-signature key. Alice's public key can be obtained through various chennels. Therefore the re-signature key generation is non-interactive.
Next, a signer such as the delegate Alice 210 in this example receives a message, m, that has not been signed previously, uses her secret key and then signs 235 that message using one of two possible types of signatures. In particular, the signing 235 of the message is accomplished using either an owner-type signature, σ=H1(m)a, or a non-owner-type signature σ=(s,A1,B1,C1,D1, . . . ,Ai,Bi,Ci,Di), where Aj=ga
Once the message has been signed by 235, a verifier receives Alice's 210 public key, pkA, and attempts to verify 240 if the signature, σ, on the signed message m, is valid (i.e., that the message was actually signed by Alice). As discussed in detail in Section 3.1, this verification process 240 evaluates different conditions to determine validity of the signature depending upon whether the signature type on the message is an owner-type signature, or a non-owner-type signature.
For a message signed by Alice 210 to be transformed into Bob's 215 signature on that same message, a verifier is first used to check if the received signed message is actually signed by Alice. If the signature is determined 245 to be invalid (i.e., any of the validity conditions described in Section 3.1 are not satisfied), then the proxy terminates 250 the signature transformation process due to a suspected forgery attempt.
On the other hand, assuming that the signature is determined 245 to be valid (i.e., all of the validity conditions described in Section 3.1 for the particular signature type are satisfied), then the proxy re-signs 255 the message using the previously generated 230 re-signature key, rkA→B=(r,pkAr,H3(pkAr∥pkA)b). As discussed in detail in Section 3.1, this re-signature process 255 uses different transformation processes depending upon whether the signature type on the message is an owner-type signature, or a non-owner-type signature. Finally, the proxy outputs 260 message m with Bob's 215 signature as a re-signed message 265.
In general, as illustrated by
In particular, as described above in Section 3.4, in the alternative non-interactive proxy re-signature process Smu′, the key pair generator 325 receives an input of a security parameter, 1k. The KeyGen algorithm of the alternative non-interactive proxy re-signature system Smu′ then uses the security parameter, 1k to select a random number a ε Zq*, and generate 325 the key pair pk=ga and sk=a. Note that this is the same process as described in Section 4.1 with respect to element 225 in
Next, the delegator Bob 315 generates 330 a re-signature key which is then delegated to the proxy to transform the delegatee's signature on a message to delegator's signatures on that same message. Note also that once generated, the re-signature key can be reused to transform many signatures. In general, as described in detail in Section 3.4, given an input of Bob's private key, skB=b, and Alice's public key, pkA, the ReKey algorithm of the alternative non-interactive proxy re-signature system Smu′ generates 330 the re-signature key rkA→B=(r,gr,H3(gr∥pkA)b), where r is a random number in Zq* determined by Bob only. Note that the re-signature key generation is done in this embodiment by Bob alone and the resulting re-signature key is sent to the proxy through a secure channel. Therefore the re-signature key generation itself is non-interactive since Alice and the proxy are not involved in the process of the re-signature key generation.
Next, a signer such as the delegate Alice 310 in this example receives a message, m, that has not been signed previously, uses her secret key and then signs 335 that message using one of two possible types of signatures. This process is the same as 225 in
Next, a verifier received a message, m, previously signed by Alice 310 with signature σ. The verifier then evaluates the signature type to determine 338 whether the signature is an owner-type signature, or a non-owner-type signature. As with the non-interactive proxy re-signature process Smu, in the case of an owner-type signature, the signature will take the form of σ=H1(m)a. Similarly, as with the non-interactive proxy re-signature process Smu, a non-owner-type signature will take the form of σ=(s,A1,B1,C1,D1, . . . ,Ai,Bi,Ci,Di).
Having determined 338 the signature type, the verifier then attempts to determine the validity 340 the signature, σ, on the signed message m, using Alice's 310 public key, pkA. As discussed in detail in Section 3.4, this verification process 340 evaluates different conditions to determine validity of the signature depending upon whether the signature type on the message is an owner-type signature, or a non-owner-type signature.
The same signature verification process is applied by the re-signature proxy in transforming Alice's signature on a message to Bob's signature on that same message. Upon receiving a message signed by Alice, the proxy applies the verification process to check validity of the received signed message. If the signature is determined 345 to be invalid (i.e., any of the validity conditions described in Section 3.4 are not satisfied for the particular signature type), then the proxy terminates 350 the signature transformation process due to a suspected forgery attempt.
On the other hand, assuming that the signature is determined 345 to be valid (i.e., all of the validity conditions described in Section 3.4 for the particular signature type are satisfied), then the proxy re-signs 355 the message using the previously generated 330 re-signature key, rkA→B=(r,gr,H3(gr∥pkA)b). As discussed in detail in Section 3.4, this re-signature process 355 uses different transformation processes depending upon whether the signature type on the message is an owner-type signature, or a non-owner-type signature. Finally, the proxy outputs 360 message m with Bob's 315 signature as a re-signed message 365.
In general, as illustrated by
In particular, as described above in Section 3.5, with respect to the non-interactive Smu* proxy re-signature system, the key pair generator 425 receives an input of a security parameter, 1k. The KeyGen algorithm of the Smu* proxy re-signature system then uses the security parameter, 1k to select a random number a ε Zq*, for use in generating 425 the key pair pk=ga and sk=a.
Next, the re-signature key generator 430 produces a re-signature key to be used by the re-signing module 455 to transform delegate Alice's 410 signature to delegator Bob's 415 signature. In general, as described in detail in Section 3.5, given an input of Alice's public key pkA and Bob's private key skB=b, the ReKey algorithm of the Smu* proxy re-signature process generates 430 the re-signature key rkA→B=(r,pkAr,gr,g2bHw(pkAr∥pkA)r′,gr′), where r is a random number in Zq* determined by Bob. Note that the re-signature key is generated by Bob alone and the resulting key is delegated to the proxy.
Next, a signer such as the delegate Alice 410 in this example receives a message, m, and uses her secret key to sign 435 that message using one of two possible types of signatures. In particular, the signing 435 of the message is accomplished using either an owner-type signature, σ=(g2aHw(H1(m))r,gr), where r is a random number from Zq*, or a non-owner-type signature in the form of: σ=(s(1),s(2),A1,B1,C1,D1(1),D1(2),D1(3),E1(1),E1(2) . . . ,Ai,Bi,Ci,Di(1),Di(2),Di(3),Ei(1),Ei(2)), where Aj=ga
Once the message has been signed by 435, a verifier receives Alice's 410 public key, pkA, and attempts to verify 440 the signature, σ, on the signed message m, is valid (i.e., that the message was actually signed by Alice). As discussed in detail in Section 3.5, this verification process 440 evaluates different conditions to determine validity of the signature depending upon whether the signature type on the message is an owner-type signature, or a non-owner-type signature.
For a message signed by Alice 410 to be transformed into Bob's 415 signature on that same message, a verifier is first used to check if the received signed message is actually signed by Alice. If the signature is determined 445 to be invalid (i.e., any of the validity conditions described in Section 3.5 are not satisfied), then the proxy terminates 450 the signature transformation process due to a suspected forgery attempt.
On the other hand, assuming that the signature is determined 445 to be valid (i.e., all of the validity conditions described in Section 3.5 for the particular signature type are satisfied), then the proxy re-signs 455 the message using the previously generated 430 re-signature key, rkA→B=(r,pkAr,gr,g2bHw(pkAr∥pkA)r′,gr′). As discussed in detail in Section 3.5, this re-signature process 455 uses different transformation processes depending upon whether the signature type on the message is an owner-type signature, or a non-owner-type signature. Finally, the proxy outputs 460 message m with Bob's 415 signature as a re-signed message 465.
The proxy re-signature system is operational within numerous types of general purpose or special purpose computing system environments or configurations.
For example,
At a minimum, to allow a device to implement the proxy re-signature system, the device must have some minimum computational capability along with a communications interface for interacting with other delegatees or delegators. In particular, as illustrated by
In addition, the simplified computing device of
The foregoing description of the proxy re-signature system has been presented for the purposes of illustration and description. It is not intended to be exhaustive or to limit the claimed subject matter to the precise form disclosed. Many modifications and variations are possible in light of the above teaching. Further, it should be noted that any or all of the aforementioned alternate embodiments may be used in any combination desired to form additional hybrid embodiments of the proxy re-signature system. It is intended that the scope of the invention be limited not by this detailed description, but rather by the claims appended hereto.