- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
International Journal of Distributed Sensor Networks
Volume 2014 (2014), Article ID 749568, 5 pages
A Function Private Attribute-Based Encryption
School of Mathematics, Shandong University, Jinan 250000, China
Received 5 December 2013; Accepted 23 December 2013; Published 23 January 2014
Academic Editor: Jin Li
Copyright © 2014 Fei Han and Jing Qin. 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.
The function privacy notion was proposed by Boneh, Raghunathan, and Segev in August 2013. It guarantees that the secret key reveals nothing to malicious adversary, beyond the unavoidable minimal information such as the length of ciphertext. They constructed a function private identity-based encryption that contains equality functionality. In this work we construct a new function private attribute-based encryption which supports more complex functionality. And we transform it to a searchable encryption. In searchable encryption, the trapdoor of searching keywords can be seen as the secret key. Hence, using this system can efficiently resist keyword guessing attack.
Functional encryption [1, 2] is now being seen as a powerful tool especially on the application of cloud security, such as searchable encryption, secure auditing, and secure data sharing. It is a new paradigm for public key encryption. In this system, the decryption ability of a receiver is determined by whether the secret key and the ciphertext can be computed by the function. Identity-based encryption (IBE) [3, 4] can be seen as a functional encryption that supports a equality functionality. Fuzzy identity-based encryption  is the first functional encryption that supports nontrivial functionality, whose functionality is a out of threshold function. Then it is extended to attribute-based encryption (ABE)  classified as key-policy ABE(KP-ABE) and ciphertext-policy ABE(CP-ABE). Subsequently, many other functional encryption schemes are constructed to support certain specific functionality such as predicate encryption  and inner product encryption . Security is also concerned about by scholars, from a selective-set security model [5–7] to a fully security model . Meanwhile, other public key cryptographic primitives are also developed [9, 10]. Gorbunov et al.  extended the access control policy to polynomial size circuit based on LWE assumption. They used a novel technique named as “Two-to-One Recoding” (TOR) to achieve this goal and also built a scheme based on bilinear maps using a weak TOR scheme. Then, Boneh et al.  built an attribute-based encryption for arithmetic circuits with much shorter secret keys. And their scheme is more suitable to the access policies that can be naturally represented as arithmetic circuits.
Recently, Boneh et al. [13, 14] put forth a novel security notion, function private, to protect the privacy of secret key in identity-based encryption. If a scheme is function private, the secret key of the scheme is indistinguishable with a random element chosen from the secret key space. They introduced an approach called “Extract-Augment-Combine” to achieve the function privacy. However, in their schemes, only the function privacy of IBE is realized, and how to construct a function private functional encryption is left as an open problem. We partly solved it in this work by proposing a function privacy KP-ABE scheme using a similar technique introduced in .
Searchable encryption is also a special class of function encryption, which is motivated by the demand for applying securely search on remote encrypted data. It is firstly introduced by Song et al. . It is built on private key, so it is used to be called searchable symmetric encryption. However, it was not fully secure and only supported the two-party model. Then, many secure searchable encryptions based on symmetric encryption are proposed [16, 17]. But these schemes were still unsuitable to the third-party situation. Boneh et al. proposed the first searchable public key encryption, public key encryption with keyword search (PEKS) . It is the first searchable public key encryption that enables a third party to implement a keyword search. Abdalla et al.  proposed a transformation from anonymous IBE to PEKS and fulfilled the security definition. All of the above schemes only support single designated receiver. Han et al.  constructed a scheme that supports nondesignated receivers using KP-ABE. The scheme is secure and satisfies a weak anonymity called attribute private. They also proposed a general transformation from KP-ABE to ABEKS (attribute-based encryption with keyword search) and constructed a secure searchable attribute-based encryption.
Recently, Byun et al.  raised an attack called off-line keyword guessing attack (KGA) on searchable encryption, due to the relatively small keywords set (such as a frequently using keyword “urgent”). So an attacker can use the brute-force technique to searching by all keywords to find a collision of the keyword. Jeong et al.  asserted that the consistency of searchable public key encryption contradicts keyword guessing attack. Subsequently, scholars studied this attack and proposed some schemes which can resist keyword guessing attack [23–25]. In this paper, we proved that function privacy of function encryption can be transformed to the KGA security of searchable encryption.
Our Contributions. Inspired by the work of Boneh et al. , we construct a function private attribute-based encryption based on the scheme of . Moreover, our scheme achieves data security, attribute privacy, and function privacy. Then, we construct a searchable attribute-based encryption against keyword guessing attack using the transformation introduced in ; our construction is more natural compared with previous constructions [23–25].
Notations. For an integer , we denote by the set and by the uniform distribution over the set . For a random variable , we denote by the process of sampling a value according to the distribution of . Similarly, for a finite set , we denote by the process of sampling a value , according to the uniform distribution over . We denote by a joint distribution of random variables.
The min-entropy of a random variable is . A -source is a random variable with . A -block source is a random variable , where, for every and , it holds that . The statistical distance between two random variables and over a finite domain is . Two random variables and are -close, if .
Definition 1 (access structure, see ). Let be a set of parties. A collection is monotone if, for all : if and , then . An access structure (resp., monotone access structure) is a collection (resp., monotone collection) of nonempty subsets of ; that is, . The sets in are called the authorized sets, and the sets not in are called the unauthorized sets.
In our settings, attributes will play the role of parties. We will only deal with the monotone access structures.
We now introduce the LSSS definition adapted from .
Definition 2 (linear secret sharing scheme (LSSS)). A secret sharing scheme over a set of parties is called linear (over ), if(i)the shares for each party form a vector over ,(ii)there exists a matrix called the share-generating matrix for . The matrix has rows and columns. For all , the th row of is labeled by a party ( is a function from to ). When we consider the column vector , where is the secret to be shared and are randomly chosen, then is the vector of shares of the secret according to . The share belongs to a party .
The linear reconstruction property is described as follows. Assume that is an LSSS for access structure . Let be an authorized set, and define as . Then there exist constants , such that, for any valid shares of a secret according to , we will have . These constants can be found in polynomial time of the size of share-generating matrix . And, for unauthorized sets, no such constants exist.
Definition 3 (see ). A collection of functions is universal if, for any , such that , it holds that .
Lemma 4 (see , leftover hash lemma for block sources). Let be a universal collection of function , and let be an -block-source where . Then, the distribution , where , is -close to the uniform distribution over .
The proof is omitted here; we refer the readers to  for more detail.
The security model for function private attribute-based encryption is described as follows. This model is derived from . The original model in  is for identity-based encryption; our security model is for attribute-based encryption.
Definition 5 (real-or-random function-privacy oracle for ABE). The real-or-random function-privacy oracle takes input triples of the form (mode, msk, ), where , msk is a master secret key, and is representing a joint distribution over (i.e., each is a distribution over ). If mode = Real then the oracle samples A is chosen from and if mode = rand then the oracle samples uniformly. It then invokes the algorithm KeyGen (msk,) on for outputting a secret key .
Definition 6 (function-privacy adversary, see ). An -block-source function private adversary is an algorithm that is given as input a pair and oracle access to (mode, msk,·) for some and to KeyGen(msk,). It is required that each of ’s queries to be an -block-source.
Definition 7 (function privacy of ABE). An attribute-based encryption scheme ABE = (Setup, KeyGen, Enc, Dec) is -block-source function private if, for any probabilistic polynomial-time -block-source function private adversary , there exists a negligible function such that where, for each and , the experiment is defined as follows:(1)(pp, msk) Setup();(2); (3)Output .
3. The Concrete Scheme
3.1. The Original Scheme
The construction of attribute-based encryption in  is described as follows;
First, the algorithm chooses a bilinear group of order , and then picks up random numbers , , , where is the subgroup of order in . For any attribute in global universe attribute set , the algorithm picks up a hash function , computes , and then chooses a random number , , as the generators of , , , . We define
This algorithm picks up a random , , and computes for any attribute . The ciphertext is given as which also includes the hashed attributed set .
where is a matrix, is the th row of , is a map, and . This algorithm picks up a random vector such that the first term of is and the other terms are random numbers. For each , it chooses random numbers , , , and the secret key is given as
Let denotes the hashed attribute set of , and denote the matrix and row mapping associated with SK. If satisfies ; then the algorithm finds a constants , such that (1 represents the vector of the first term is 1, and others are 0). Compute
The message can be recovered by .
3.2. The Modification
Above, the original scheme is proved to be data secure and attribute private in . To make our scheme function private, we need to modify the KeyGen algorithm and Dec algorithm.(1)In KeyGen algorithm, we let the matrix be ; for every attribute , we denote as . The other parameters remain the same. Then, SK is as follows: (2)In Dec algorithm, the decrypter finds constants , such that ; then we can process our Dec algorithm: In the Dec computation, we let (where the first term of is and the other terms are random numbers). Then can be seen as a vector where the first term is and the others are random numbers. can be seen as of original scheme. And So we can enable our modified scheme to act like the original scheme.
4. Security Analysis
Our modification does not violate the original scheme’s security. Since the data security and attribute privacy is proved in ; we will prove the function privacy of the modified scheme only.
Function Privacy. Let be a computational bounded adversary that makes a polynomial number of queries to the oracle. We prove that the distribution of ’s view in the experiment is computationally close to the view in the . We denote these two distributions by ViewReal and ViewRand.
By simulating, the adversary queries KeyGen and oracle and then gets the random variable corresponding to the -source. For each , let denote the sample from . Also let . Then we can assume that for . For mode = Real, is drawn from ; for mode = Rand, is uniformly chosen from . And for .
Note that the collection of functions defined as is universal. After applying Lemma 4, we can easily imply that the statistical distance between ViewReal and uniform distribution is negligible. The same clearly holds for ViewRand. This completes the proof of function privacy.
5. Extension to Searchable Encryption
We have constructed a function private attribute-based encryption. In the above scheme, the entropy of secret key is large enough. By the transformation described in , we can easily get a searchable attribute-based encryption (ABEKS). Consider , , , , .
Since an adversary cannot efficiently guess a concrete trapdoor built on some access structure owing to the privacy of secret key of ABE scheme, our scheme can resist keyword guessing attack. In fact, when an adversary implements a keyword guessing attack, he will randomly pick a valid access control policy associated with a keywords set and run a test to determine whether this keyword set is used to generate a trapdoor.
The security experiment is described as follows: : , , . If , then return 1, else return 0.
We define the advantage of in the above experiment as
Theorem 8. ABEKS scheme can resist keyword guessing attack, if the original ABE scheme is function private.
Proof. Let be a polynomial time algorithm that implements a keyword guessing attack on ABEKS and let be an adversary that breaks the function privacy of ABE. If can efficiently obtain a valid keywords set corresponding with some trapdoor, then can distinguish the secret key with some random element sampled from secret key space using this trapdoor (i.e., secret key in ABE); that is,
Hence, the proof is completed.
In this paper, we present a function private attribute-based encryption, which at the heart of our construction is a method of randomizing the secret key, so we have achieved that the secret key in our scheme is indistinguishable with the random element sampled from the secret key space. And then we extend it to a searchable attribute-based encryption which resists keyword guessing attack.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors want to express their sincere thanks to the anonymous referees for their valuable comments and suggestions. This work is supported by the National Nature Science Foundation of China under Grant no. 61272091 and the National Nature Science Foundation of Shandong Province under Grant no. ZR2012FM005.
- D. Boneh, A. Sahai, and B. Waters, “Functional encryption: definitions and challenges,” in Theory of Cryptography, pp. 253–273, Springer, Berlin, Germany, 2011.
- B. Waters, “Functional encryption: origins and recent developments,” in Public-Key Cryptography—PKC 2013, pp. 51–54, Springer, Berlin, Germany, 2013.
- D. Boneh and M. Franklin, “Identity-based encryption from the Weil pairing,” in Advances in Cryptology-CRYPTO 2001, pp. 213–229, Springer, Berlin, Germany, 2001.
- J. Li, F. Zhang, and Y. Wang, “A new hierarchical ID-based cryptosystem and CCA-secure PKE,” in Embedded and Ubiquitous Computing, International Conference (EUC), Lecture Notes in Computer Science, pp. 362–371, Springer, 2006.
- A. Sahai and B. Waters, “Fuzzy identity-based encryption,” in Advances in Cryptology—EUROCRYPT 2005, pp. 457–473, 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, pp. 146–162, Springer, Berlin, Germany, 2008.
- A. Lewko, T. Okamoto, A. Sahai, K. Takashima, and B. Waters, “Fully secure functional encryption: attribute-based encryption and (hierarchical) inner product encryption,” in Advances in Cryptology—EUROCRYPT 2010, pp. 62–91, Springer, Berlin, Germany, 2010.
- J. Li and Y. Wang, “Universal Designated Verifier Ring Signature (Proof) without random oracles,” in Embedded and Ubiquitous Computing, International Conference (EUC), Lecture Notes in Computer Science, pp. 332–341, Springer, 2006.
- J. Li, K. Kim, F. Zhang, and X. Chen, “Aggregate proxy signature and verifiably encrypted proxy signature,” in Proceedings of the International Conference on Provable Security (ProvSec '07), Lecture Notes in Computer Science, pp. 208–217, Wollongong, Australia, 2007.
- S. Gorbunov, V. Vaikuntanathan, and H. Wee, “Attribute-based encryption for circuits,” in Proceedings of the 45th Annual ACM Symposium on Theory of Computing, pp. 545–554, ACM, 2013.
- D. Boneh, V. Nikolaenko, and G. Segev, “Attribute-Based Encryption for Arithmetic Circuits,” Cryptology ePrint Archive, Report 2013/669, 2013, http:// http://eprint.iacr.org/2013/669/.
- D. Boneh, A. Raghunathan, and G. Segev, “Function-private identity-based encryption: hiding the function in functional encryption,” in Advances in Cryptology—CRYPTO 2013, 2013.
- D. Boneh, A. Raghunathan, and G. Segev, “Function-Private Subspace-Membership Encryption and Its Applications, Cryptology ePrint Archive,” Report 2013/403, 2013, http://eprint.iacr.org/2013/403.
- D. X. Song, D. Wagner, and A. Perrig, “Practical techniques for searches on encrypted data,” in Proceedings of the IEEE Symposium on Security and Privacy, pp. 44–55, May 2000.
- Y.-C. Chang and M. Mitzenmacher, “Privacy preserving keyword searches on remote encrypted data,” in Proceedings of the 3rd International Conference on Applied Cryptography and Network Security (ACNS '05), pp. 442–455, June 2005.
- G. Eu-Jin, “Secure Indexes. Cryptology ePrint Archive,” Report 2003/216, 2003, http://eprint.iacr.org/2003/216/.
- D. Boneh, G. Di Crescenzo, R. Ostrovsky, and G. Persiano, “Public key encryption with keyword search,” in Advances in Cryptology-Eurocrypt 2004, pp. 506–522, 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, pp. 205–222, Springer, Berlin, Germany, 2005.
- F. Han, J. Qin, H. Zhao, and J. Hu, “A general transformation from KP-ABE to searchable encryption,” Future Generation Computer Systems, vol. 30, pp. 107–115, 2014.
- J. W. Byun, H. S. Rhee, H. A. Park, and D. H. Lee, “Off-line keyword guessing attacks on recent keyword search schemes over encrypted data,” in Secure Data Management, pp. 75–83, Springer, Berlin, Germany, 2006.
- I. R. Jeong, J. O. Kwon, D. Hong, and D. H. Lee, “Constructing PEKS schemes secure against keyword guessing attacks is possible?” Computer Communications, vol. 32, no. 2, pp. 394–396, 2009.
- L. Fang, W. Susilo, C. Ge, and J. Wang, “Public key encryption with keyword search secure against keyword guessing attacks without random oracle,” Information Sciences, vol. 238, pp. 221–241, 2013.
- C. Hu and P. Liu, “A secure searchable public key encryption scheme with a designated tester against keyword guessing attacks and its extension,” in Advances in Computer Science, Environment, Eco-Informatics, and Education, pp. 131–136, Springer, Berlin, Germany, 2011.
- P. Xu, H. Jin, Q. Wu, and W. Wang, “Public-key encryption with fuzzy keyword search: a provably secure scheme under keyword guessing attack,” IEEE Transactions on Computers, vol. 62, no. 11, pp. 2266–2277, 2012.
- A. Beimel, Secure schemes for secret sharing and key distribution [Ph.D. thesis], Israel Institute of Technology Technion, Haifa, Israel, 1996.