基于带智能卡的移动终端实现的隐私保护的属性票据方案

史瑞; 封化民; 谢惠琴; 史国振; 刘飚; 杨旸

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

您当前的位置：

首页 >

文章列表页 >

基于带智能卡的移动终端实现的隐私保护的属性票据方案

学术论文 | 更新时间：2024-06-05

- 基于带智能卡的移动终端实现的隐私保护的属性票据方案
- Privacy-preserving attribute ticket scheme based on mobile terminal with smart card
- 通信学报 2022年43卷第10期页码：26-41
- 作者机构：
  
  1. 北京邮电大学网络空间安全学院，北京 100876
  2. 北京电子科技学院，北京 100070
  3. 福州大学数学与计算机科学学院，福建福州 350108
- 作者简介：
  
  [ "史瑞（1988− ），男，山东德州人，北京邮电大学博士生，北京电子科技学院工程师，主要研究方向为密码学和隐私保护" ]
  [ "封化民（1963− ），男，陕西富平人，博士，北京邮电大学教授，北京电子科技学院教授，主要研究方向为密码学和信息安全" ]
  [ "谢惠琴（1992- ），女，福建福安人，博士，北京电子科技学院讲师，主要研究方向为密码学、量子计算和量子密码" ]
  [ "史国振（1972- ），男，河南济源人，博士，北京电子科技学院教授，主要研究方向为网络与系统安全、嵌入式安全" ]
  [ "刘飚（1980-），男，湖南邵阳人，博士，北京电子科技学院讲师，主要研究方向为信息安全和机器学习" ]
  [ "杨旸（1984− ），女，湖北随州人，博士，福州大学教授，主要研究方向为密码学和隐私保护" ]
- 基金信息：
  
  国家自然科学基金资助项目(62101085);重庆市教委科学技术研究基金资助项目(KJZD-K202000605);重庆市研究生科研创新基金资助项目(CYS22473)
- DOI：10.11959/j.issn.1000-436x.2022156
  中图分类号： TP309.2
- 网络首发：2022-10，
  
  纸质出版：2022-10-25
- 稿件说明：
移动端阅览
史瑞, 封化民, 谢惠琴, 等. 基于带智能卡的移动终端实现的隐私保护的属性票据方案[J]. 通信学报, 2022,43(10):26-41.

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.
史瑞, 封化民, 谢惠琴, 等. 基于带智能卡的移动终端实现的隐私保护的属性票据方案[J]. 通信学报, 2022,43(10):26-41. DOI： 10.11959/j.issn.1000-436x.2022156.

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 .

浏览量

909

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于稀疏矩阵变换和有界随机扰动的K-Means聚类外包方案

基于秘密分享的大语言模型密态推理

基于国产GPU的国产公钥密码SM2高性能并行加速方法

面向深度学习的高效安全推理研究综述

基于同态密文转换的隐私保护卷积神经网络推理方案