Search

Vehicles share information via Vehicular Ad-hoc Network (VANET) that is considered the foundation of the intelligent transportation system. Access control from functional encryption (FE) allows secure sharing over encrypted data with both utilization and privacy. However, low-powerful vehicles and the untrusted server incurs that FE-based access control mechanisms are less practical with client-side inefficiency and access unreliability. In this work, we put forth ORAC, an Optimized encrypted Access Control system with partial privacy and Reliability. ORAC is built on top of functional encryption that guarantees data partial privacy and data utilization in VANET, and separates the data access into the offline phase and the online phase, such that most of decryption computation could be done in the offline phase and vehicles could execute the real decryption efficiently. By embedding blockchain transactions into identity records and data storage, ORAC protects data accessed by vehicles from tampering and thereby manages data transfers with high reliability. It can be instantiated directly from pairing-based assumptions and features only the decryption complexity of two exponentiation and two multiplication operations. We give a formal security proof of the instantiation in the semantic security model. We also prototype our scheme by implementing ORAC over Ethereum with two types of smart contracts and the evaluation can demonstrate its efficiency optimization. [ABSTRACT FROM AUTHOR]

With rise of 5G/6G network, low-storage devices usually outsource data for higher rate and less latency. Non-controlled outsourcing and complex communications incur security issues for IoT applications. Specially, user privacy and access reliability pose technical challenges for sensitive data outsourcing and sharing. In this paper, we harmonize functional encryption and blockchain to propose a r eliable and p rivacy-aware a ccess c ontrol system named R-PAC. It allows a result-form access without learning raw information and fair interaction against malicious users. With a combination of all-or-nothing encapsulation technology, R-PAC supports users' dynamic joining and key leakage resistance. We design R-PAC from Boneh–Franklin identity-based encryption, with forward-coverable encryption and reverse-discoverable decryption, and formally prove its indistinguishability security. We implement a R-PAC prototype and deploy it to a simulated Ethereum network to evaluate its performance. Experiments from both data access and transaction overhead show that R-PAC is with reasonable cost and has a trade-off between efficiency and strong security/functionality. • We propose R-PAC, a reliable and privacy-aware access control system. • We design R-PAC from Boneh–Franklin IBE, and formally prove its IND security. • We implement a R-PAC prototype and deploy it to a simulated Ethereum network. [ABSTRACT FROM AUTHOR]