Formal Language Identity-based Cryptography

. The rapid growth of the digital economy makes (cid:28)ne-grained access control more and more challenging. One of the most im- pacted areas is cloud computing, which for security purposes requires cryptographic access control. Currently, the best solution for that is the use of Attribute-based Cryptography, which allows the de(cid:28)nition of access policies, based on the attributes of entities. Unfortunately, this family of schemes comes along with a signi(cid:28)cant drawback, speci(cid:28)cally the required user-side computation is growing with the growth of the complexity of the access policy. We provide a concept, called Formal Language Identity-based Cryptography, which gives a solution to this problem, making (cid:28)ne- grained cryptographic access control practical.