Theoretical research into pairings-based cryptography has been a well-researched area over the last few years, this cryptography scheme is based on the mapping of two cryptographical groups which allows for a new cryptographical scheme based on a trapdoor permutation between the groups with some interesting complexity properties.
These two groups are called a Gap Groups in many instances, where the Decisional Diffie-Helman problem is easy, but the Computational Diffie-Helman still is hard to solve. Weil and Tate pairings are used in implementations but requires complex mathematics, this is why in this section we will use a slightly more abstract means to explain bilinear maps..
Mostly all constructions of pairings-based cryptosystems use bilinear maps, for this we consider two groups and or a prime order . We can denote using additive notation and using multiplicative notation, even as the group operations of and are very different, can also be written as a multiplicative group operation in some literature.
If we consider two generators of group as and , we can write:
Using this we can also consider a map as follows:
This type of bilinear map has a main group and a shadow group where we map two group elements in the first group to the second group would need have properties between them in order for it to be useful, Bilinearity, non-degenerate and computable.
For Group using generators and we can define a map to , where the additive operation in group equals the multiplicative operation in :
If G1 and G2 where both multiplicative groups then the Bilinearity property would be the following:
This has an interesting property whereby it beaks the decisional Diffie-Helman problem, but this will be discussed in more details later.
If all the elements map to the identity of the group then if would not have any additional computational aspects to explore. It is therefore important not to create a map with the identity of either of the groups.
Computability: should be efficiently computable, there are some constructions of maps that are hard to compute.
The construction of these bilinear pairs has been proven by Wei and Tate pairings, where is a typical elliptic curve group, and is a finite field. These have proven to provide complex problems across these groups to construct cryptographical schemes.
For the usage of bilinear maps in cryptographical schemes, we define a one-way function using two problems, the Decisional Diffie-Helman problem and the discrete log problem.
Theorem 1: The Discrete Log Problem in is no harder than the Discrete Log Problem in .
Proof 1: If we use our additive notation and consider that , we then need to solve , which is random, for a given and a random
With this we can effectively reduce the Discrete Log Problem in to the Discrete Log Problem in , if we are given and a random then the mapping of is easily computable by calculating as:
With this we can see that the difficulty of solving the discrete log problem in both groups are the same, since the computation of have the same complexity in both groups.
Theorem 2: The Decisional Diffie-Helman is easy in .
Proof 2: Solving the Decisional Diffie-Helman problem in requires distinguishing between:
If we can define and as the distinguishers four values, then the distinguisher function is as follows:
If we have that , then the tuple is of type
From this we can take from (Theorem 1)
Since the map is non-degenerate we can set equivalent to . The distinguisher has thus a significant advantage given the mapping to decide the Decisional Diffie-Helman problem.
Theorem 3 The Bilinear Diffie-Helman Problem is easy in but difficult in
Fact: If we are given two groups and with a map between them as , there are no polynomial time algorithm that can compute in given in . With this we can construct the following properties between the groups as the following hard problems:
Using these theories, we can now construct cryptosystems based on these hard problems found in these groups.
Using these complexity problems, there has been an abundance of cryptosystems developed over the years, where the two most notable are the 3-party key agreement scheme, identity based encryption and searchable encryption.
The 3-party Diffie-Helman key agreement scheme
Joux introduced in 2000 a three-party key agreement scheme using bilinear maps utilizing the Bilinear Diffie-Helman problem for the construction.
If we have two groups and with as a generator of , and three parties that have respective secrets we can construct a key agreement scheme where each party shares a secret key as follows:
Using the Bilinear Diffie-Helman Problem we can define the following:
All parties now have the same shared key that can be used as an input to a symmetric encryption scheme.
Identity Based Encryption
The idea of using private information, like an email address, as a public key has been long debated and researched, whereby the corresponding private key can be delivered to the rightful owner. The role of the key generator must be to verify the private information before distributing the private key to the owner, although a public key infrastructure would solve this problem, there were substantial research into this area to move away from a trusted third party, and having the identity as part of the encryption.
In Dan Boneh’s and Franklin’s paper an Identity based encryption scheme was created to remove the public key infrastructure with the use of bilinear maps and the bilinear Diffie-Helman problem, incorporating a random oracle model. This protocol consists out of five phases:
- Defining two groups and with a bilinear map and as a generator
- A System wide secret key
- A corresponding system wide public key , which are not distributed
- Public hash function , a random oracle
- Public hash function for some fixed , the second random oracle.
- The message space
- The cypher space
To create a private key for a corresponding participant for the system computes:
which is the private key that can be distributes to the user.
If we are now given a message we can compute the cyphertext as follows:
- We then choose a random
- We can now compute
- And create the cyphertext:
When the user receives the cyphertext, he has and can decrypt it using his corresponding private key and
The main reason that both encryption and decryption works are because of the properties of pairings and the mask generated by that is xor’ed with the plaintext. We can prove the correctness by using simple substitution from the parameters above:
This scheme provides us a way to use the identity as a parameter within the encryption and decryption without the use of a third party. The usage of identity is important, as this can bind the encryption and decryption to a owner of the keys.
Searchable encryption schemes are a well-studied topic, and there have been several constructions using order revealing and order preserving schemes. For the a simplified construction a protocol I have chosen to use an order revealing encryption schemes based on bilinear maps, this construction is proven to be secure against adaptively chosen keyword attacks assuming the bilinear Diffie-Helman problem is intractable using the random oracle model.
To use this construction , we will look at the following scenario:
For this scenario, we need to define four entities that will be involved in the scheme:
- Users (1..n): responsible for the creation of messages that are sent to a trusted party for routing. These messages are sent and received via a secure channel to the messaging server.
- Third Party / Message Server: The messaging platform, that routes messages to users, and that can test weather a certain list of keywords are present in the message.
- Legal Authority (1..n): The party interested in searching the message data.
- Trusted Third Party: a Party responsible for securing the private key
Suppose a Legal authority needs to be alerted when certain keywords are transmitted to a messaging server. For example, a user sends a message to another user that he is planning a bombing, the “bombing” needs to create an alert on the messaging server, and the legal authority needs to be sent a encryption of the message thread.
If the messages between the users are encrypted using semantic means, then the messaging server cannot make any alerting decisions as it cannot decrypt the messages. Our goal here is to ensure that the messaging server provide a way to test whether a keyword has been transmitted between the users, without revealing the content of the messages. This can only be achievable by the legal authority providing a list of keywords to the message server that can be used, as well messaging server needs to have access to both the encryption and decryption key of the user’s messages.
To do so, a user encrypts messages between users and messaging server using a standard public key cryptosystem and saves it in his database. The messages are appended with a Public-Key Encryption with keyword Search (PKS) of each keyword. For example, User Steve sends Peter a message with words , , then the trusted messaging server create:
Where denotes concatenation and is the public key of the legal authority (Alice). The reason for this form of encryption is so that the legal authority can provide a trapdoor to the messaging server to test whether a certain keyword has been used. Given a searchable encryption for a keyword and a trapdoor the messaging server can determine is , if it’s the case that then the messaging server does not learn any information about the word. It’s also quite interesting to note that this is not a very communitive scheme, as the searchable encryption (PKS) is constructed only using the public key of the legal authority.
Throughout this section we will refer to a negligible function as where for any polynomial and sufficiently large . I will start by defining a searchable public key encryption scheme (PKS) where the public key refers to the cyphertext created by the messaging server using the public key of the legal authority , and the searchable encryption scheme (PKS) does not reveal any information about the message.
Our goal is to enable the legal authority to send a short secret key () for a specific word to the messaging server, so that the messaging server can locate all messages that have this keyword without revealing the word . The secret key () produced by the legal authority is based on the private key, and the messaging server send the message containing the words back to the legal authority, encrypted using the corresponding public key.
Definition 1.1: The following polynomial time randomized algorithms are part of a non-interactive searchable encryption scheme (PKS).
- : For a security parameter a corresponding public/private key pair is generated ( by the legal authority and the public key is sent to the messaging server.
- : For a word in the message, a searchable encryption (PKS) is generated using the public key of the legal authority. We will denote the function as
- : Given the private key of the legal authority, a certain word produces a trapdoor .
- : Given the public key of the legal authority and a searchable encryption on the messaging server, a trapdoor outputs `yes’ if
The legal authority will run the algorithm and generate its public/ private key pairs, and then use the function to generate a series of trapdoors for words that it wants to search for. The messaging server will then use the function to determine whether a given message has a keyword .
For the definition above I will provide an efficient construction using bilinear maps based on a variant of the Decision Diffie-Hellman assumption with identity based encryption
We will use two groups of prime order and a bilinear map between the two groups. This map satisfies the following three properties where the size of and is determined by a security parameter:
- Computable: If you are given two elements in as then there exists a polynomial time algorithm to compute the map in
- Bilinear: for all integers in the prime order, we have a map =
- Non-degenerate: if is a generator of then the map is a generator of
From this we can build a non-interactive searchable encryption scheme based on bilinear maps. For this we will need two hash function, or random oracles in each group as:
Based on definition 1.1 we will construct the scheme using the same model based on the Dan Boneh Searchable Encryption Scheme:
- : The security parameter determines the size of the prime order of the groups and . The legal authority then also selects a random and a generator of . The Output is a public key and a private key . The public key is then distributed to the messaging server.
- : Using the public key and a word , the messaging server computes a bilinear map using the random oracle and a random . Then outputs a searchable encryption .
- : The legal authority uses the random oracle and its private key to generate a trapdoor
- : When the messaging server receives a Test function from the legal authority as it can test if
The construction of the scheme can be viewed as a derivative of Identity Based Encryption with a limited number of identities. Using this scheme, the messaging server needs to have the ability to create an index of the words that’s exchanged between the users of the system that can be tested. Unfortunately, this construction has several issues relating to the sharing of the creation of the trapdoor function. None the less, the use of bi-linear maps and hash functions allows us to identify encrypted words without revealing what they actually are.