Privacy-preserving attribute ticket scheme based on mobile terminal with smart card

Rui SHI; Huamin FENG; Huiqin XIE; Guozhen SHI; Biao LIU; Yang YANG

doi:10.11959/j.issn.1000-436x.2022156

您当前的位置：

首页 >

文章列表页 >

Privacy-preserving attribute ticket scheme based on mobile terminal with smart card

Papers | 更新时间：2024-06-05

- Privacy-preserving attribute ticket scheme based on mobile terminal with smart card
- Journal on Communications Vol. 43, Issue 10, Pages: 26-41(2022)
- 作者机构：
  
  1. 北京邮电大学网络空间安全学院，北京 100876
  2. 北京电子科技学院，北京 100070
  3. 福州大学数学与计算机科学学院，福建福州 350108
- 作者简介：
- 基金信息：
  
  The National Natural Science Foundation of China(62101085);The Science and Technology Research Program of Chongqing Municipal Education Commission(KJZD-K202000605);Chongqing Graduate Scientific Research Innovation Project(CYS22473)
- DOI：10.11959/j.issn.1000-436x.2022156
  CLC： TP309.2
- Online First：2022-10，
  
  Published：25 October 2022
- 稿件说明：
移动端阅览
Rui SHI, Huamin FENG, Huiqin XIE, et al. Privacy-preserving attribute ticket scheme based on mobile terminal with smart card[J]. Journal on Communications, 2022, 43(10): 26-41.
DOI：

Rui SHI, Huamin FENG, Huiqin XIE, et al. Privacy-preserving attribute ticket scheme based on mobile terminal with smart card[J]. Journal on Communications, 2022, 43(10): 26-41. DOI： 10.11959/j.issn.1000-436x.2022156.

摘要

摘要：为了解决现有电子票据系统难以在资源受限设备中部署，以及无法防止票据在未授权设备之间共享的问题，提出了基于带智能卡的移动终端实现的隐私保护的属性票据方案。其中，智能卡为安全可信但资源受限的核心设备，负责存储密钥信息并处理轻量级的运算；智能终端为功能强大的辅助设备，负责处理与密钥无关但耗时的运算。首先，结合伪随机函数、匿名的临时身份方案、带随机化标签的可聚合签名和Pointcheval-Sanders签名，构造了一个可在带智能卡的移动终端部署的支持属性策略的电子票据方案；其次，给出了电子票据的安全模型并证明了所提方案满足不可链接性和不可伪造性；最后，在个人计算机、国产智能卡（爱信诺ACH512）和智能手机（华为荣耀9i）上实现了所提方案，对比和实验结果表明了所提方案的高效性。

Abstract

To solve the problem that the existing electronic ticket systems are challenging to deploy in resource-constrained devices and cannot prevent the sharing of tickets among unauthorized devices

a privacy-preserving attribute ticket scheme based on mobile terminal with a smart card was proposed.The smart card was a secure and constrained-yet-trusted core device that holds secret information and performs lightweight operations.The mobile terminal was a powerful helper device that handles key-independent and time-consuming operations.Firstly

the efficient attribute-based ticket scheme deployed on the mobile terminal with a smart card was constructed by combining a pseudorandom function

anonymous ephemeral identities scheme

aggregatable signatures with randomizable tags

and Pointcheval-Sanders signatures.Secondly

the security model of the electronic tickets system was presented

and the proposed scheme was proved to be unlinkable and unforgeable.Finally

the proposed scheme was implemented on a personal computer

a smart card (Aisinochip ACH512)

and a smart phone (Huawei Honor 9i)

and the comparison and experimental results show that it is efficient.

关键词

Keywords

references

MUT-PUIGSERVER M , PAYERAS-CAPELLÀ M M , FERRERGOMILA J L , et al . A survey of electronic ticketing applied to transport [J ] . Computers ＆ Security , 2012 , 31 ( 8 ): 925 - 939 .

VIVES-GUASCH A , PAYERAS-CAPELLÀ M M , MUT-PUIGSERVER M , et al . Anonymous and transferable electronic ticketing scheme [C ] // Data Privacy Management and Autonomous Spontaneous Security . Berlin:Springer , 2013 : 100 - 113 .

HEYDT-BENJAMIN T S , CHAE H J , DEFEND B , et al . Privacy for public transportation [C ] // International Workshop on Privacy Enhancing Technologies . Berlin:Springer , 2006 : 1 - 19 .

MILUTINOVIC M , DECROIX K , NAESSENS V , et al . Privacy-preserving public transport ticketing system [C ] // IFIP Annual Conference on Data and Applications Security and Privacy . Berlin:Springer , 2015 : 135 - 150 .

PATEL B , CROWCROFT J . Ticket based service access for the mobile user [C ] // Proceedings of the 3rd Annual ACM/IEEE International Conference on Mobile Computing and Networking . New York:ACM Press , 1997 : 223 - 233 .

HAN J G , CHEN L Q , SCHNEIDER S , et al . Privacy-preserving electronic ticket scheme with attribute-based credentials [J ] . IEEE Transactions on Dependable and Secure Computing , 2021 , 18 ( 4 ): 1836 - 1849 .

FAN C , LEI C L . Multi-recastable ticket schemes for electronic voting [J ] . IEICE Transactions on Fundamentals of Electronics,Communications and Computer Sciences , 1998 , 81 ( 5 ): 940 - 949 .

SONG R G , KORBA L . Pay-TV system with strong privacy and non-repudiation protection [J ] . IEEE Transactions on Consumer Electronics , 2003 , 49 ( 2 ): 408 - 413 .

QUERCIA D , HAILES S . MOTET:mobile transactions using electronic tickets [C ] // Proceedings of First International Conference on Security and Privacy for Emerging Areas in Communications Networks (SECURECOMM'05) . Piscataway:IEEE Press , 2005 : 374 - 383 .

RUPP A , HINTERWÄLDER G , BALDIMTSI F , et al . P4R:privacy-preserving pre-payments with refunds for transportation systems [C ] // International Conference on Financial Cryptography and Data Security . Berlin:Springer , 2013 : 205 - 212 .

CHAUM D , . Blind signatures for untraceable payments [C ] // Advances in Cryptology . Berlin:Springer , 1983 : 199 - 203 .

NAKANISHI T , HARUNA N , SUGIYAMA Y . Unlinkable electronic coupon protocol with anonymity control [C ] // International Workshop on Information Security . Berlin:Springer , 1999 : 37 - 46 .

VIVES-GUASCH A , CASTELLÀ-ROCA J , PAYERAS-CAPELLA M M , et al . An electronic and secure automatic fare collection system with revocable anonymity for users [C ] // Proceedings of the 8th International Conference on Advances in Mobile Computing and Multimedia . Piscataway:IEEE Press , 2010 : 387 - 392 .

CHAUM D , HEYST E . Group signatures [C ] // Workshop on the Theory and Application of of Cryptographic Techniques . Berlin:Springer , 1991 : 257 - 265 .

ARFAOUI G , LALANDE J F , TRAORÉ J , , et al . A practical set-membership proof for privacy-preserving NFC mobile ticketing [J ] . Proceedings on Privacy Enhancing Technologies , 2015 , 2015 ( 2 ): 25 - 45 .

CHAUM D . Security without identification:transaction systems to make big brother obsolete [J ] . Communications of the ACM , 1985 , 28 ( 10 ): 1030 - 1044 .

封化民 , 史瑞 , 袁峰 , 等 . 高效的强隐私保护和可转让的属性票据方案 [J ] . 通信学报 , 2022 , 43 ( 3 ): 63 - 75 .

FENG H M , SHI R , YUAN F , et al . Efficient strong privacy protection and transferable attribute-based ticket scheme [J ] . Journal on Communications , 2022 , 43 ( 3 ): 63 - 75 .

MOSTOWSKI W , VULLERS P . Efficient U-prove implementation for anonymous credentials on smart cards [C ] // International Conference on Security and Privacy in Communication Systems . Berlin:Springer , 2011 : 243 - 260 .

CAMENISCH J , DRIJVERS M , DZURENDA P , et al . Fast keyed-verification anonymous credentials on standard smart cards [C ] // IFIP International Conference on ICT Systems Security and Privacy Protection . Berlin:Springer , 2019 : 286 - 298 .

VERHEUL E R , . Self-blindable credential certificates from the Weil pairing [C ] // International Conference on the Theory and Application of Cryptology and Information Security . Berlin:Springer , 2001 : 533 - 551 .

HANZLIK L , SLAMANIG D . With a little help from my friends:constructing practical anonymous credentials [C ] // Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security . New York:ACM Press , 2021 : 2004 - 2023 .

GALBRAITH S D , PATERSON K G , SMART N P . Pairings for cryptographers [J ] . Discrete Applied Mathematics , 2008 , 156 ( 16 ): 3113 - 3121 .

CHASE M , LYSYANSKAYA A . On signatures of knowledge [C ] // Annual International Cryptology Conference . Berlin:Springer , 2006 : 78 - 96 .

H’EBANT C , POINTCHEVAL D . Traceable constant-size multi-authority credentials [R ] . Cryptology ePrint Archive , 2020 .

SHOUP V , . Lower bounds for discrete logarithms and related problems [C ] // International Conference on the Theory and Applications of Cryptographic Techniques . Berlin:Springer , 1997 : 256 - 266 .

POINTCHEVAL D , SANDERS O . Short randomizable signatures [C ] // Cryptographers’ Track at the RSA Conference . Berlin:Springer , 2016 : 111 - 126 .

SONNINO A , AL-BASSAM M , BANO S , et al . Coconut:threshold issuance selective disclosure credentials with applications to distributed ledgers [J ] . arXiv Preprint,arXiv:1802.07344 , 2018 .

ELGAMAL T . A public key cryptosystem and a signature scheme based on discrete logarithms [J ] . IEEE Transactions on Information Theory , 1985 , 31 ( 4 ): 469 - 472 .

FAN J , VERCAUTEREN F , VERBAUWHEDE I . Faster FP-arithmetic for cryptographic pairings on Barreto-Naehrig curves [C ] // International Workshop on Cryptographic Hardware and Embedded Systems . Berlin:Springer , 2009 : 240 - 253 .

Views

975

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

K-Means clustering outsourcing scheme based on sparse matrix transformation and bounded random perturbation

Cryptographic inference for large language model via secret sharing

High-performance parallel acceleration method for domestic public key cryptographic algorithm SM2 based on domestic GPU

Survey of research on efficient secure inference for deep learning

Privacy-preserving convolutional neural network inference scheme based on homomorphic ciphertext transformation

Related Author

Zhao Wei

Tan Jingwen

Wang Huanran

Han Shuai

Yang Wu

Lai Mingzhu

CHENG Ke

XIA Yuheng

Related Institution

School of Computer Science and Technology, Harbin Engineering University

School of Mathematics and Statistics, Hainan Normal University

School of Computer Science and Technology, Xidian University

Shaanxi Key Laboratory of Network and System Security, Xidian University

School of Computer Science, Nanjing University of Posts and Telecommunications

AI问答

⁰