Mobile Information Systems
Volume 2015 (2015), Article ID 430797, 10 pages
http://dx.doi.org/10.1155/2015/430797

Research Article

New Construction of PVPKE Scheme and Its Application in Information Systems and Mobile Communication

Minqing Zhang,1,2 Xu An Wang,² Xiaoyuan Yang,² and Weihua Li¹

¹School of Computer Science, Northwestern Polytechnical University, Xi’an 710072, China
²Key Laboratory of Information and Network Security, Engineering University of Chinese Armed Police Force, Xi’an 710086, China

Received 29 August 2014; Accepted 1 September 2014

Academic Editor: David Taniar

Copyright © 2015 Minqing Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

In SCN12, Nieto et al. discussed an interesting property of public key encryption with chosen ciphertext security, that is, ciphertexts with public verifiability. Independently, we introduced a new cryptographic primitive, CCA-secure publicly verifiable public key encryption without pairings in the standard model (PVPKE), and discussed its application in proxy reencryption (PRE) and threshold public key encryption (TPKE). In Crypto’09, Hofheiz and Kiltz introduced the group of signed quadratic residues and discussed its application; the most interesting feature of this group is its “gap” property, while the computational problem is as hard as factoring, and the corresponding decisional problem is easy. In this paper, we give new constructions of PVPKE scheme based on signed quadratic residues and analyze their security. We also discuss PVPKE’s important application in modern information systems, such as achieving ciphertext checkable in the cloud setting for the mobile laptop, reducing workload by the gateway between the open internet and the trusted private network, and dropping invalid ciphertext by the routers for helping the network to preserve its communication bandwidth.

1. Introduction

In modern information systems such as mobile wireless network, social network, open internet, and cloud computation, security is an important issue [1, 2]. Public key encryption [3] is among the most important basic tools to strengthen the whole system’s security. Along with the development of information system, the security notion for public key encryption has been strengthened. The first proposal on public key encryption, RSA, though a great breakthrough in cryptography, only achieves the security notion of one-way security [4]. In 1984, Goldwasser and Micali [5] proposed the notion of semantic security (also known as indistinguishable security (IND-CPA)). This security notion states that the challenge ciphertext needs to contain no more information than a randomly chosen ciphertext. Although it is a reasonable security notion, many applications using public key encryption as a basic tool need stronger security notion, that is, chosen ciphertext security (IND-CCA). Compared with the semantic security notion, this security notion considers that the adversary can get help from the decryption oracle (the adversary can query the decryption oracle with his chosen ciphertexts, except the challenge ciphertext which cannot be queried). Until now, many CCA-secure PKE schemes have been proposed [6–11].

Active attackers play more and more important role in breaking the security of modern information systems [1, 2]; thus chosen ciphertext security of the encryption scheme is essential for these systems. However, if the validity can only be checked by the decrypter privately with his secret key, the whole system can easily suffer from ciphertext-malleable attack. The active attackers can easily modify the right ciphertext transferred in the network to get numerous malicious ciphertexts and thus cost the precious bandwidth greatly. Although these ciphertexts can be rejected by the decrypter at the last moment, they have already caused great problem in the systems. These problems can affect the users’ feeling on using the system. Even more seriously, they cause shutting down the whole system and bring damage to the service providing corporations. If the validity of these ciphertexts can be checked publicly, the problems can be easily solved, the routers or the access infrastructure can drop these maliciously created ciphertexts, and the bandwidth has been effectively preserved [12]. As a concrete example, can you imagine, when using mobile phone for secure instant-message talking like MSN, you always have to deal with nonsense invalid ciphertexts maliciously created by active attackers? But if the access infrastructure equipped with PVPKE can help you to filter these invalid ciphertexts, you certainly will feel better. In one word, PVPKE is an important tool for smoothly running modern information systems if these systems have employed public key encryption as a basic way to achieve security.

However, researchers give little care to the property of public verifiability of the chosen ciphertext-secure ciphertexts. In bilinear map setting or by using the random oracle, public verifiability of ciphertexts coming from an IND-CCA-secure public key encryption can be easily achieved. Thus, in this paper, we care about how to construct publicly verifiable public key encryption without pairing in the standard model. Recently, in [13], we introduced an interesting cryptographic primitive: PVPKE, defined as publicly verifiable chosen ciphertext-secure public key encryption in the standard model without pairing. PVPKE is a very powerful building block to construct some other interesting cryptographic protocols and cloud computation [14, 15]. For example, it can be used to construct chosen ciphertext- (CCA-) secure threshold public key encryption (TPKE) [16–20]. In TPKE, chosen ciphertext security always requires that the distributed decryption server can check the ciphertext’s validity before decryption; otherwise some valuable information about decryption will be returned to the adversary and this will help the adversary to break the chosen ciphertext security. For another example, PVPKE can be a core block to construct chosen ciphertext-secure proxy reencryption (PRE) [21–26]. Chosen ciphertext attackers can query the delegator and delegatee’s decryption oracle arbitrarily; if invalid ciphertexts forwarded by the proxy to the delegatee have been decrypted by the delegatee, the attackers can get useful information to break CCA security. Since the proxy without secret keys needs to check the validity of the ciphertext for the delegatee before reencryption, thus public verifiability of the ciphertext seems to be an essential requirement for achieving CCA security for proxy reencryption.

In SCN12, Nieto et al. [27] discussed an interesting property of public key encryption with chosen ciphertext security, that is, ciphertexts with public verifiability. They also demonstrated an important application of this new primitive, that is, “nontrivial filtering” of an incoming IND-CCA-secure ciphertext to be an IND-CPA-secure ciphertext with reduced workload by a gateway. They formally defined (nontrivial) public variability of ciphertexts for general encryption schemes, key encapsulation mechanisms, and hybrid encryption schemes, encompassing public key, identity-based, and tag-based encryption and also gave several concrete constructions. But we also note that their constructions cannot simultaneously satisfy the four requirements on “PVPKE”: (1) chosen ciphertext-secure; (2) publicly verifiable; (3) in the standard model; (4) without pairing. Thus their work further explores PVPKE’s application but does not give concrete construction of PVPKE.

In Crypto’09, Hofheinz and Kiltz [28] introduced the group of signed quadratic residues and discussed its application; the most interesting feature of this group is its “gap” property, while the computational problem is as hard as factoring, and the corresponding decisional problem is easy. Membership in can be publicly and efficiently verified while it inherits some nice intractability properties of the quadratic residues. For example, computing square roots in is also equivalent to factoring the modulus . We therefore have a gap group, in which the corresponding decisional problem (i.e., deciding if an element is a signed square) is easy, whereas the computational problem (i.e., computing a square root) is as hard as factoring. We also can show that, in the group of signed quadratic residues, the Strong Diffie-Hellman problem is implied by the factoring assumption.

1.1. Our Contribution

In [13], based on the core idea of changing the prime modular field to the composite modular field and masking the verifying secret key with secret order of the composite group and making the resulting “pseudosecret key” public, we find it is relatively easy to construct PVPKE scheme based on the Cramer-Shoup encryption and the Hanaoka-Kurosawa CCA-secure public key encryption.

In this paper, we show that, in case of basing some of Nieto et al.’s schemes on signed quadratic residues, the resulting schemes can meet the requirements of PVPKE. The core idea about this construction is that the DDH oracle can be publicly instantiated by bilinear pairing, while DDH oracle cannot be instantiated by discrete logarithm group or RSA group. But, in signed quadratic residues, the DDH oracle can be efficiently publicly instantiated. Based on this observation, we give new constructions of PVPKE scheme based on signed quadratic residues and discuss their security.

Furthermore, we discuss PVPKE’s important application in modern information system, such as achieving ciphertext checkable in the cloud setting for the mobile laptop, reducing the workload by the gateway between the open internet and the trusted private network, and dropping the invalid ciphertext by the routers for helping the network to preserve its communication bandwidth effectively.

1.2. Related Works

1.2.1. Chosen Ciphertext Security in the Standard Model

Naor and Yung [29] introduced the notion of CCA security for public key encryption, and this notion was further extended by Rackoff and Simon [30], Dolev et al. [31], and Sahai [32]. Noninteractive zero-knowledge (NIZK) proofs are core blocks of these constructions, which is a relatively inefficient paradigm and its efficient realization always relies on bilinear pairing or random orale. In 1993, Bellare and Rogaway [33] introduced a so-called random oracle which idealizes the hash function as a perfect random function to devise efficient CCA-secure public key encryption with provable security. However, random oracle model has seen criticism by cryptographers for its unrealistic assumption [34]. More and more cryptographers show interest in constructing efficient CCA-secure PKE in the standard model. Till now, there are at least four ways to construct efficient CCA-secure PKE in the standard model. The first way is proposed by Cramer and Shoup [8], which was further extended by themselves and other cryptographers [35–37]. The second way to construct CCA-secure PKE is the paradigm of  IBE  transformation, which allows transforming selective-ID CPA-secure identity-based encryption (IBE) into a CCA-secure PKE [38–41]. The third way is based on verifiable broadcast encryption, which is proposed by Hanaoka and Kurosawa [9]. The fourth way is by relying on lossy trapdoor function introduced by Peikert and Waters [42] and further extended by Rosen and Segev [43] and many other works. Among the CCA-secure PKE schemes from these four ways, only the ones from the IBE transformation are publicly verifiable. However, most of existing practical IBE are based on the time-consuming pairings.

1.2.2. Without Pairings

The bilinear pairings enable the construction of first practical identity-based encryption by Boneh and Franklin [44]. Since then, many wonderful results can be achieved by using the bilinear pairings, such as fully collusion resistant broadcast encryption [45], efficient practical zero-knowledge proof [46], searchable public key encryption [47, 48], attribute based encryption [49], and predicate encryption [50].

But we note that, on the one hand, bilinear pairing is a very powerful cryptographic tool; on the other hand, the implementation speed of bilinear pairing is still relatively slower. So recently many researchers show interest in construction of schemes without pairings, because, on the one hand, it can clarify to us which cryptographic task inherits the bilinear property of pairings and which does not; on the other hand, it gives us a new view on old cryptographic problems. For example, Baek et al. constructed the first certificateless public key encryption without pairing [51], while the concept of certificateless public key cryptography was first raised by using bilinear pairings [52]. Other examples include Deng et al. and Shao and Cao’s CCA-secure proxy reencryption without pairing [53, 54].

1.2.3. Verifiable Public Key Encryption

Another related research area is (private) verifiable public key encryption, such as Camenisch and Shoup’s work [55]. However, their work was concerned with only the decryptor’s verifiability of the ciphertext instead of public verifiability. Kiayias et al. extended their work by introducing some new concepts for constructing group encryption [56]. Owing to bilinear property of pairings, CCA-secure public key encryption with public verifiability can be easily achieved in the bilinear pairing setting. However, the situation is completely different in the “without pairing” setting; constructing PVPKE scheme remains as an open problem left for almost decades.

1.3. Organization

We organize our paper as follows: In Section 2, we give some preliminaries. In Section 3, we give our PVPKE’s construction based on signed quadratic residues and analyse its security. In Section 4, we discuss PVPKE’s applications. In the last section, we give our conclusion.

2. Preliminaries

2.1. Publicly Verifiable Public Key Encryption

A publicly verifiable public key encryption system consists of the following algorithms.

(i)The randomized key generation algorithm Gen takes as input a security parameter and outputs a public key (PK) and a secret key (SK). We write .(ii)The randomized encryption algorithm takes as input a public key () and a message and outputs a ciphertext . We write .(iii)The verification algorithm takes as input a ciphertext and a public key (). It returns valid or invalid to indicate whether the ciphertext is valid or not. Note that the validity of can be verified publicly.(iv)The decryption algorithm takes as input a ciphertext and a secret key (). It returns a message or the distinguished symbol . We write .

We require that, for all output by Gen, all , and all output by , we have .

2.2. Chosen Ciphertext Security

We recall the standard definition of security against adaptive chosen ciphertext attack. A publicly verifiable public key encryption (PKE) scheme  is secure against adaptive chosen ciphertext attacks (i.e., “CCA-secure”) if the advantage of any PPT adversary in the following game is negligible in the security parameter .

(1) Gen() outputs (PK, SK). Adversary is given and PK.(2)The adversary may make many polynomial-many queries to a decryption oracle .(3)The adversary may make many polynomial-many queries to a verification oracle .(4)At some point, outputs two messages , with . A bit is randomly chosen and the adversary is given a “challenge ciphertext” .(5) may continue to query its decryption oracle except that it may not request the decryption of .(6) may continue to make polynomial-many queries to a verification oracle .(7)Finally, outputs a guess .

We say that succeeds if and denote the probability of this event by . The adversary’s advantage is defined as .

2.3. The Group of Signed Quadratic Residues

2.3.1. RSA Instance Generator

Let be a constant and let be a function. Let RSAgen be an algorithm that generates elements , such that is an -bit Blum integer ( (where   and ) and all prime factors of are pairwise distinct and at least -bit integers.

2.3.2. Factoring Assumption

The factoring assumption is that computing , from (generated by RSAgen) is hard. We write

The factoring assumption for RSAgen holds if is negligible for all efficient .

2.3.3. The Group of Signed Quadratic Residues

Let be an integer. For we define as the absolute value of , where is represented as a signed integer in the set . For a subgroup of , we define the signed group, , as the group

with the following group operation. Namely, for and an integer , we define

More complicated expressions in the exponents are computed modulo the group order; for example, . Note that taking the absolute value is a surjective homomorphism from to with trivial kernel if does not belong to and with kernel if .

Let be a Blum integer such that does not belong to . We will mainly be interested in , which we call signed quadratic residues (modulo ). is a subgroup of , with absolute values as a convenient computational representation. The following basic facts hold.

Theorem 1. Let be a Blum integer; then we have the following.

(1) is a group of order .(2). In particular, is efficiently recognizable (given only ).(3)If is cyclic, so is .

2.3.4. Strong DH Assumption Reduced to Factoring Assumption

Hofheinz and Kiltz [28] also proved that the strong DH assumption can be reduced to factoring assumption. Here we review the theorem and its proof.

Theorem 2. If the factoring assumption holds then the strong DH assumption holds relative to RSAgen. In particular, for every strong DH adversary , there exists a factoring adversary (with roughly the same complexity as ) such that

Proof. We construct from given . Concretely, receives a challenge , chooses uniformly , and sets . Note that, by definition of , we have except with probability . Then chooses and sets

(here we omit operation, and hereafter we continue to omit for typical exponential modular operation). This implicitly defines

where the discrete logarithms are of course considered in . Again, by definition of , the statistical distance between these and the input of in the strong DH experiment is bounded by . So runs on input and answers ’s oracle queries as follows. First, we may assume that since is efficiently recognizable. Next, since is a Blum integer, the group order is odd, and hence

Thus, can implement the strong DH oracle by checking whether hold.
Consequently, with probability , will finally output

from which can extract (using its knowledge about and ). Since is not in and are two nontrivially different square roots of , can factor by computing .

3. CCA-Secure Publicly Verifiable Public Key Encryption in the Standard Model Based on Signed Quadratic Residues

3.1. Review of Nieto et al.’s Publicly Verifiable PKE Scheme

Their construction is inspired by the IND-CCA public key KEM of Kiltz [57]; the PG(ParamGen) algorithm is similar to [57] except that it uses gap groups: outputs public parameters , where is a multiplicative cyclic group of prime order , , DDH is an efficient algorithm such that , and is a cryptographic hash function such that is a polynomial in . We also use a strong one-time signature scheme with verification key space such that is a polynomial in and a target collision resistant hash function . The message space is . The scheme works as follows.

(i) PKE.KG(par)

(ii) PKE.Enc(par, ek, M)

(iii) PKE.Ver(par, ek, C)

(iv) PKE.Dec′(par, ek, dk, C′)

3.2. Our Proposed PVPKE Scheme Based on Signed Quadratic Residues

First we give the core idea behind our construction. We observe that Nieto et al.’s PKE scheme actually is a PVPKE scheme, but the only issue is that they use an abstract DDH oracle. They instantiate this oracle by bilinear pairings, but we require that PVPKE scheme cannot rely on bilinear pairings. We also observe that signed quadratic residues can also instantiate the abstract DDH oracle, so we modify Nieto et al.’s scheme to be based on signed quadratic residues group, which now give a natural new PVPKE scheme. Notation: we omit the operation and every modular exponentiation in signed quadratic residues such as the fact that is represented as , which implies all the modular exponentiation and other operations obey the rules defined in [28] instead of obeying the normal group rules. The following is the concrete scheme.

(i) PVPKE.PG() is as follows.

(a)Here we focus on group; we first generate an RSA modulus with RSAgen() [28], then choose uniformly , and set . Note that, by definition of , we have except with probability .(b)  is a cryptographic hash function such that is a polynomial in .(c)We also use a strong one-time signature scheme with verification key space such that is a polynomial in and a target collision resistant hash function . The message space is .(d)DDH is an efficient algorithm such that . For the scheme relying on group, we can easily decide the DDH tuple; concretely, we do the following.

(1)Choose and satisfying , , and is not very little. Then set

(2)Publish , as the parameters for public verifying.(3)The DDHParams = .

(e)PG() outputs public parameters , .

(ii) PVPKE.KG(par)

(iii) PVPKE.Enc(par, ek, M)

(iv) PVPKE.Ver(par, ek, C)

(v)PVPKE.Dec′(par, ek, dk, C′)

3.3. Security Analysis

Based on Nieto et al.’s security result and the property of signed quadratic residues, we can give the following theorem.

Theorem 3. Assume that TCR is a target collision resistant hash function and OTS is a strongly unforgeable one-time signature scheme. Under a variant of hashed Diffie-Hellman assumption for (signed quadratic residues group) and , the factoring assumption of RSAGen (which implies the strong Diffie-Hellman assumption in signed quadratic residues group proved in [28]), our PVPKE scheme based on signed quadratic residues is IND-CCA-secure.

Proof. In the following we give our scheme’s security proof roughly.

(1)We observe that, in Nieto et al.’s PKE scheme, plays two roles: one used to be deriving the DEM message mask key and the other used to be as part of the DDH test. But many research results show that it is secure to split these two roles separately [8]; thus we introduce as the role of part of the DDH test, while maintaining   as the source of deriving DEM message mask key, which is the reason why we use instead of in our scheme.(2)In our scheme, we adopt Hofheinz and Kiltz’s technique of reducing SDH assumption to the factoring assumption; concretely, we set , , , , , and the same as theirs, but we make and public, which is used for public verifying. The verifying equation can also be used for deciding the DDH relationship of , but an attacker cannot figure out through finding root of , for we know finding square root in is as hard as factoring and this also holds in .(3)We require , for avoiding the trivial attack of computing and without any modular operation, and thus trivial computing . Obviously this attack can easily forge a valid and thus a valid ciphertext and break the IND-CCA property. We also require that is not too little to resist the brute force attack on finding from .(4)Generally speaking, our scheme is almost identical to Nieto et al.’s scheme; thus the security proof is almost the same as theirs. Below are the details. Let be the challenge ciphertext. The proposed PKE without the CHK transform can be seen as a KEM/DEM combination, which is at least IND-CPA-secure due to Herranz et al. [58]. As for the KEM, a variant of the hashed Diffie-Hellman (HDH) assumption [48] can be used to prove the IND-CPA security of the resulting PKE. Note that the message does not depend on and is just the signature on . Therefore being an output of the IND-CPA-secure scheme hides the value of the chosen from the adversary. Below we prove that the IND-CCA adversary may access decryption oracle and will gain no help in guessing the value of . Suppose the adversary submits a ciphertext to the decryption oracle. Now there are two cases.

(i)When , the decryption oracle will output as the adversary fails to break the underlying strongly unforgeable one-time signature scheme with respect to .(ii)When , the attacker against the variant of HDH problem can set the public keys as seen in the IND-CCA security proof for the KEM by Kiltz [57] such that (1) can answer except for the challenge ciphertext all decryption queries from even without the knowledge of the secret key and (2) solves HDH if wins. Note in Nieto et al.’s scheme is the public key while in our scheme is the public key, but we observe is randomly chosen from , while in our scheme are set as , which are also random because are random. Thus our scheme roughly shares the same security proof outline as in [57] except that our scheme is in signed quadratic residues.

4. Applications

4.1. Application 1: The Routers Drop the Invalid Ciphertexts via PVPKE

As shown in Figure 1, PVPKE can be used in the open internet network to help the routers to filter the invalid ciphertexts, while traditional IND-CCA-secure public key encryption does not have this function. First a sender (encrypter) wants to encrypt his message to a receiver (decrypter) by using public key encryption, and the ciphertexts in many cases have to be sent through open networks, which are not equipped with security guards to resist malicious attack; thus the sender should better choose an IND-CCA-secure public key encryption to encrypt his message. When an error or a data loss occurs in the ciphertexts through the transferring, the PVPKE can help the routers drop invalid ciphertexts by using the algorithm of public verifying. Note here the routers need not any secret, which will greatly reduce the cost of resetup of the old system. Also, if there exists malicious attacker modifying the ciphertexts, the invalid ciphertexts will also be dropped. This will greatly help the network to preserve its communication band only to effective data blocks and help the routers and the receiver to reduce the workload for they now only need to do the necessary computation. However, PVPKE cannot resist the following case: an attacker generates a ciphertext following the right encryption algorithm and this ciphertext will certainly pass through the algorithm of public verifying. We think this time the attacker is indeed an encrypter, which will be a trivial case, and any verifying algorithm cannot avoid it.

Figure 1: Routers drop the invalid ciphertexts via PVPKE.

4.2. Application 2: The Gateways Reduce the Workload via PVPKE

The following scenarios are always existing: ciphertexts need to be transferred from a public open network like internet to an internal network like the government’s network. As shown in Figure 2, PVPKE can be used to help the gateways reduce the workload: transforming an IND-CCA ciphertext to be an IND-CPA ciphertext. When an IND-CCA ciphertext was captured by the gateway, the gateway first verifies its validity by using the publicly verifying algorithm. If it has passed, then the gateway can drop one part of the ciphertext: the part which is used to authenticate the ciphertext, like in our PVPKE and Nieto et al.’s PKE scheme (here we do not claim that any PVPKE scheme has this separate authentication part, for there exist PVPKE schemes in which the authentication part has been integrated in the other parts of the ciphertext as a whole). Thus the remaining ciphertext will be IND-CPA-secure and will be shorter compared with the original ciphertext. Because the government’s network usually will be protected well with many security mechanisms, IND-CPA security is enough to assure the security of the ciphertext. This will also reduce the workload of the employees who work on the internal network of the government.

Figure 2: Gateways reduce the workload via PVPKE.

4.3. Application 3: Achieving Ciphertext Checkable in the Clouds via PVPKE

Today more and more people prefer to upload their personal data contents to the clouds, but they do not want the cloud to know what the data contents are. Thus they need to encrypt the personal data contents before uploading them to the clouds. PVPKE can be used to achieve ciphertext checkable in this case, which can be seen in Figure 3. When the data owner uploads the ciphertexts to the cloud, there may exist incident things, like data loss or malicious attacker modifying the ciphertexts; in these cases, a proxy can be used to check the ciphertext’s validity by using PVPKE. When the data owner or data user needs to retrieve the content, the clouds return the corresponding ciphertext to them. Also this time the proxy can be used to check the ciphertext’s validity by using PVPKE. Note here that the proxy needs only to be semitrusted; it can perform the check without any secret; this will greatly benefit reducing the system management. For example, the proxy can be the access infrastructure in the wireless network setting. Note here that we do not claim that every ciphertext needs to be checked, which will be too heavy. This check must be run probabilistically with randomly chosen ciphertext.

Figure 3: Achieving ciphertext checkable in the clouds via PVPKE.

5. Conclusions

PVPKE is a very powerful block to construct other cryptographic primitives or protocols, and its construction remains open for almost decades. In [13], we give several constructions and analyze their security. In this paper, by using the fact that the DDH oracle can be instantiated in signed quadratic residues, we give new PVPKE construction and roughly prove its security. The future work will be further exploring our idea and prove our proposal’s security strictly.

Disclosure

This paper is a revised and expanded version of a paper titled “New Construction of PVPKE Scheme Based on Signed Quadratic Residues” presented at the Incos 2013 Conference [59]. The second author is the corresponding author.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors would like to express their gratitude to the editors for many helpful comments. This work is supported by the National Natural Science Foundation of China under Contracts nos. 61103230, 61272492, 61103231, and 61202492.

References

A. J. Jara, S. Varakliotis, A. F. Skarmeta, and P. Kirstein, “Extending the Internet of things to the future internet through IPv6 support,” Mobile Information Systems, vol. 10, no. 1, pp. 3–17, 2014.

A. J. Jara, D. Fernandez, P. Lopez, M. A. Zamora, and A. F. Skarmeta, “Lightweight MIPv6 with IPSec support,” Mobile Information Systems, vol. 10, no. 1, pp. 37–77, 2014.

W. Diffie and M. E. Hellman, “New directions in cryptography,” IEEE Transactions on Information Theory, vol. 22, no. 6, pp. 644–654, 1976.

R. L. Rivest, A. Shamir, and L. Adleman, “A method for obtaining digital signatures and public-key cryptosystems,” Communications of the Association for Computing Machinery, vol. 21, no. 2, pp. 120–126, 1978.

S. Goldwasser and S. Micali, “Probabilistic encryption,” Journal of Computer and System Sciences, vol. 28, no. 2, pp. 270–299, 1984.

M. Abe, E. Kiltz, and T. Okamoto, “Chosen ciphertext security with optimal ciphertext overhead,” in Advances in Cryptology—ASIACRYP, vol. 5350 of Lecture Notes in Computer Science, pp. 355–371, Springer, Berlin, Germany, 2008.

M. Bellare and P. Rogaway, “Optimal asymmetric encryption: how to encrypt with RSA,” in Advances in Cryptology—EUROCRYPT'94, vol. 950 of Lecture Notes in Computer Science, pp. 92–111, 1994.

R. Cramer and V. Shoup, “A practical public key cryptosystem provably secure against adaptive chosen ciphertext attack,” in Advances in Cryptology—CRYPTO '98, vol. 1462 of Lecture Notes in Computer Science, pp. 13–25, Springer, Berlin, Germany, 1998.

G. Hanaoka and K. Kurosawa, “Efficient chosen ciphertext secure public key encryption under the computational Diffie-Hellman assumption,” in Advances in Cryptology—ASIACRYPT 2008, vol. 5350 of Lecture Notes in Computer Science, pp. 308–325, Springer, Berlin, Germany, 2008.

D. Hofheinz, E. Kiltz, and V. Shoup, “Practical chosen ciphertext secure encryption from factoring,” Journal of Cryptology, vol. 26, no. 1, pp. 102–118, 2013.

Y. Lindell, “A simpler construction of cca2-secure public-key encryption under general assumptions,” in Advances in Cryptology—EUROCRYPT 2003, vol. 2656 of Lecture Notes in Computer Science, pp. 241–254, Springer, Berlin, Germany, 2003.

K. Goto, Y. Sasaki, T. Hara, and S. Nishio, “Data gathering using mobile agents for reducing traffic in dense mobile wireless sensor networks,” Mobile Information Systems, vol. 9, no. 4, pp. 295–314, 2013.

M. Zhang, X. A. Wang, W. Li, and X. Yang, “CCA secure publicly verifiable public key encryption without pairings nor random oracle and its applications,” Journal of Computers, vol. 8, no. 8, pp. 1987–1994, 2013.

X. Chen, J. Li, and W. Susilo, “Efficient fair conditional payments for outsourcing computations,” IEEE Transactions on Information Forensics and Security, vol. 7, no. 6, pp. 1687–1694, 2012.

X. Chen, J. Li, J. Ma, Q. Tang, and W. Lou, “New algorithms for secure outsourcing of modular exponentiations,” in Computer Security—ESORICS 2012, vol. 7459 of Lecture Notes in Computer Science, pp. 541–556, Springer, Berlin, Germany, 2012.

R. Canetti and S. Goldwasser, “An efficient threshold public key cryptosystem secure against adaptive chosen ciphertext attack,” in Advances in Cryptology—EUROCRYPT'99, vol. 1592 of Lecture Notes in Computer Science, pp. 90–106, Springer, Berlin, Germany, 1999.

J. Baek and Y. Zheng, “Identity-based threshold decryption,” in Public Key Cryptography—PKC 2004, vol. 2947 of Lecture Notes in Computer Science, pp. 262–276, Springer, Berlin, Germany, 2004.

D. Boneh, X. Boyen, and S. Halevi, “Chosen ciphertext secure public key threshold encryption without random oracles,” in Topics in Cryptology—CT-RSA 2006, vol. 3860 of Lecture Notes in Computer Science, pp. 226–243, 2006.

V. Shoup and R. Gennaro, “Securing threshold cryptosystems against chosen ciphertext attack,” Journal of Cryptology, vol. 15, no. 2, pp. 75–96, 2002.

C. Delerablée and D. Pointcheval, “Dynamic threshold public-key encryption,” in Advances in Cryptology—CRYPTO, vol. 5157 of Lecture Notes in Computer Science, pp. 317–334, Springer, Berlin, Germany, 2008.

G. Ateniese, K. Fu, M. Green, and S. Hohenberger, “Improved proxy re-encryption schemes with applications to secure distributed storage,” in Proceedings of the 12th Annual Network and Distributed System Security Symposium (NDSS '05), pp. 29–43, San Diego, Calif, USA, 2005.

G. Ateniese, K. Fu, M. Green, and S. Hohenberger, “Improved proxy re-encryption schemes with applications to secure distributed storage,” ACM Transactions on Information and System Security, vol. 9, no. 1, pp. 1–30, 2006.

B. Libert and D. Vergnaud, “Unidirectional chosen-ciphertext secure proxy re-encryption,” in Public Key Cryptography—PKC 2008, vol. 4939 of Lecture Notes in Computer Science, pp. 360–379, Springer, Berlin, Germany, 2008.

R. Canetti and S. Hohenberger, “Chosen ciphertext secure proxy re-encryption,” in Proceedings of the 14th ACM Conference on Computer and Communications Security (CCS '07), pp. 185–194, ACM, 2007.

J. Zhang and X. A. Wang, “On the security of a multi-use CCA-secure proxy re-encryption scheme,” in Proceedings of the 4th International Conference on Intelligent Networking and Collaborative Systems (INCoS '12), pp. 571–576, Bucharest, Romania, September 2012.

J. Zhang and X. Wang, “Security analysis of a multi-use identity based CCA-secure proxy reencryption scheme,” in Proceedings of the 4th International Conference on Intelligent Networking and Collaborative Systems (INCoS '12), pp. 581–586, September 2012.

J. Nieto, M. Manulis, B. Poettering, J. Rangasamy, and D. Stebila, “Publicly verifiable ciphertexts,” in Proceedings of the 8th International Conference on Security and Cryptography for Networks (SCN '12), vol. 7485 of Lecture Notes in Computer Science, pp. 393–410, Amalfi, Italy, 2012.

D. Hofheinz and E. Kiltz, “The group of signed quadratic residues and applications,” in Advances in Cryptology—CRYPTO 2009, vol. 5677 of Lecture Notes in Computer Science, pp. 637–653, Springer, Berlin, Germany, 2009.

M. Naor and M. Yung, “Public-key cryptosystems provably secure against chosen ciphertext attacks,” in Proceedings of the 22nd Annual ACM Symposium on Theory of Computing (STOC '90), pp. 427–437, May 1990.

C. Rackoff and D. R. Simon, “Non-interactive zero-knowledge proof of knowledge and chosen ciphertext attack,” in Advances in Cryptology—CRYPTO '91, vol. 576 of Lecture Notes in Computer Science, pp. 433–444, Springer, Berlin, Germany, 1992.

D. Dolev, C. Dwork, and M. Naor, “Non-malleable cryptography,” in Proceedings of the 23rd Annual ACM Symposium on Theory of Computing (STOC '91), pp. 542–552, May 1991.

A. Sahai, “Non-malleable non-interactive zero knowledge and adaptive chosen-ciphertext security,” in Proceedings of the 40th Annual Symposium on Foundations of Computer Science (IEEE FOCS '99), pp. 543–553, New York, NY, USA, October 1999.

M. Bellare and P. Rogaway, “Random oracles are practical: a paradigm for designing efficient protocols,” in Proceedings of the 1st ACM Conference on Computer and Communications Security (CCS '93), pp. 62–73, November 1993.

R. Canetti, O. Goldreich, and S. Halevi, “Random oracle methodology, revisited,” in Proceedings of the 30th Annual ACM Symposium on Theory of Computing (STOC '98), pp. 209–218, May 1998.

R. Cramer and V. Shoup, “Design and analysis of practical public-key encryption schemes secure against adaptive chosen ciphertext attack,” SIAM Journal on Computing, vol. 33, no. 1, pp. 167–226, 2003.

K. Kurosawa and Y. Desmedt, “A new paradigm of hybrid encryption scheme,” in Advances in Cryptology—CRYPTO 2004, vol. 3152 of Lecture Notes in Computer Science, pp. 426–442, 2004.

M. Abe, R. Gennaro, K. Kurosawa, and V. Shoup, “Tag-kem/dem: a new framework for hybrid encryption and a new analysis of kurosawa-desmedt kem,” in Advances in Cryptology—EUROCRYPT 2005, vol. 3494 of Lecture Notes in Computer Science, pp. 128–146, Springer, Berlin, Germany, 2005.

R. Canetti, S. Halevi, and J. Katz, “Chosen-ciphertext security from identity-based encryption,” in Advances in Cryptology—EUROCRYPT 2004, vol. 3027 of Lecture Notes in Computer Science, pp. 207–222, Springer, Berlin, Germany, 2004.

D. Boneh and J. Katz, “Improved efficiency for CCA-secure cryptosystems built using identity-based encryption,” in Topics in Cryptology—CT-RSA 2005, vol. 3376 of Lecture Notes in Computer Science, pp. 87–103, Springer, Berlin, Germany, 2005.

X. Boyen, Q. Mei, and B. Waters, “Direct chosen ciphertext security from identity-based techniques,” in Proceedings of the 12th ACM Conference on Computer and Communications Security (CCS '05 ), pp. 320–329, November 2005.

E. Kiltz, “Chosen-ciphertext security from tag-based encryption,” in Theory of Cryptography, vol. 3876 of Lecture Notes in Computer Science, pp. 581–600, Springer, Berlin, Germany, 2006.

C. Peikert and B. Waters, “Lossy trapdoor functions and their applications,” in Proceedings of the 40th Annual ACM Symposium on Theory of Computing (STOC '08), pp. 187–196, 2008.

A. Rosen and G. Segev, “Chosen-ciphertext security via correlated products,” in Theory of Cryptography, vol. 5444, pp. 419–436, Springer, Berlin, Germany, 2009.

D. Boneh and M. Franklin, “Identity-based encryption from the Weil pairing,” in Advances in Cryptology—CRYPTO 2001: Proceedings of the 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19–23, 2001, vol. 2139 of Lecture Notes in Computer Science, pp. 213–229, Springer, Berlin, Germany, 2001.

D. Boneh, C. Gentry, and B. Waters, “Collusion resistant broadcast encryption with short ciphertexts and private keys,” in Proceedings of the 25th Annual International Cryptology Conference (CRYPTO '05), vol. 3621 of Lecture Notes in Computer Science, pp. 258–275, Santa Barbara, Calif, USA, 2005.

J. Groth and A. Sahai, “Efficient non-interactive proof systems for bilinear groups,” in Advances in Cryptology—EUROCRYPT 2008, vol. 4965 of Lecture Notes in Computer Science, pp. 415–432, Springer, Berlin, Germany, 2008.

D. Boneh, G. D. Crescenzo, R. Ostrovsky, and G. Persiano, “Public key encryption with keyword search,” in Computational Science and Its Applications—ICCSA 2008, vol. 3089 of Lecture Notes in Computer Science, pp. 31–45, Springer, Berlin, Germany, 2004.

M. Abdalla, M. Bellare, D. Catalano et al., “Searchable encryption revisited: consistency properties, relation to anonymous IBE, and extensions,” in Advances in Cryptology—CRYPTO 2005, vol. 3621 of Lecture Notes in Computer Science, pp. 205–222, Springer, Berlin, Germany, 2005.

V. Goyal, O. Pandey, A. Sahai, and B. Waters, “Attribute-based encryption for fine-grained access control of encrypted data,” in Proceedings of the 13th ACM Conference on Computer and Communications Security (CCS '06), pp. 89–98, November 2006.

J. Katz, A. Sahai, and B. Waters, “Predicate encryption supporting disjunctions, polynomial equations, and inner products,” in Advances in Cryptology—EUROCRYPT 2008, vol. 4965 of Lecture Notes in Computer Science, pp. 146–162, Springer, Berlin, Germany, 2008.

J. Baek, R. Safavi-Naini, and W. Susilo, “Certificateless public key encryption without pairing,” in Information Security, vol. 3650 of Lecture Notes in Computer Science, pp. 134–148, Springer, Berlin, Germany, 2005.

S. Al Riyami and K. Paterson, “Certificateless public key cryptography,” in Advances in Cryptology—ASIACRYPT 2003, vol. 2894 of Lecture Notes in Computer Science, pp. 452–473, Springer, 2003.

R. Deng, J. Weng, S. Liu, and K. Chen, “Chosen ciphertext secure proxy re-encryption without pairings,” in Cryptology and Network Security, vol. 5339 of Lecture Notes in Computer Science, pp. 1–17, Springer, Berlin, Germany, 2008, http://eprint.iacr.org/2008/509.

J. Shao and Z. Cao, “CCA-secure proxy re-encryption without pairings,” in Public Key Cryptography—PKC 2009, vol. 5443 of Lecture Notes in Computer Science, pp. 357–376, Springer, Berlin, Germany, 2009.

J. Camenisch and V. Shoup, “Practical verifiable encryption and decryption of discrete logarithms,” in Advances in Cryptology—CRYPTO 2003, vol. 2729 of Lecture Notes in Computer Science, pp. 126–144, Springer, Berlin, Germany, 2003.

A. Kiayias, Y. Tsiounis, and M. Yung, Group Encryption, Cryptology ePrint Archive, 2007, http://eprint.iacr.org/2007/015.pdf.

E. Kiltz, “Chosen-ciphertext secure key-encapsulation based on gap hashed Diffie-Hellman,” in Public Key Cryptography—PKC, vol. 4450 of Lecture Notes in Computer Science, pp. 282–297, Springer, Berlin, Germany, 2007.

J. Herranz, D. Hofheinz, and E. Kiltz, “KEM/DEM: necessary and sucffcient conditions for secure hybrid encryption,” in IACR Cryptology ePrint Archive, Report 2006/256, IACR, 2006.

J. Zhang and X. Wang, “New construction of PVPKE scheme based on signed quadratic residues,” in Proceedings of the 5th International Conference on Intelligent Networking and Collaborative Systems (INCoS '13), pp. 434–437, September 2013.