| 研究生: |
游璟萱 You, Jing-Shiuan |
|---|---|
| 論文名稱: |
基於晶格之抗量子N取 1 模糊簽章 Quantum-resistant 1-out-of-𝑁 Oblivious Signatures from Lattices |
| 指導教授: |
左瑞麟
Tso, Ray-Lin |
| 口試委員: |
左瑞麟
Tso, Ray-Lin 曾一凡 Tseng, Yi-Fan 王紹睿 Wang, Shao-jui 陳昱圻 Chen, Yu-Chi |
| 學位類別: |
碩士
Master |
| 系所名稱: |
資訊學院 - 資訊科學系 Department of Computer Science |
| 論文出版年: | 2022 |
| 畢業學年度: | 110 |
| 語文別: | 英文 |
| 論文頁數: | 39 |
| 中文關鍵詞: | 晶格 、模糊簽章 、抗量子攻擊 、1-out-of-𝑁 |
| 外文關鍵詞: | Lattices, Oblivious Signatures, Quantum-resistant, 1-out-of-𝑁 |
| DOI URL: | http://doi.org/10.6814/NCCU202200752 |
| 相關次數: | 點閱:201 下載:0 |
| 分享至: |
| 查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報 |
隨著愈來愈多商業活動及資訊傳輸在網路上進行,許多數位簽章及加密技術開發隨之發展,以幫助驗證傳輸訊息的來源及完整性;而基於基本的數位簽章技術,各種滿足隱私保護需求的簽章原型也相繼被開發出來,如環簽名和盲簽名,分別用來確保簽名者的匿名性以及維護簽署訊息的內容保密性。在這種多簽名方案中,由陳(ESORICS' 94)首先提出,並且隨後由 左等人(ISPEC'08)正式定義的N取1模糊簽章(Oblivious signature)方案,不僅提供了進一步的信任的基礎,還能同時保有像盲簽名一樣保護簽名請求者隱私的特性。在該方案中,接收者首先選擇一組訊息,其中一個是接收者打算獲得簽名的訊息;接收者與簽名者執行完互動式簽章演算法後,接收者將能得到他事先選定的訊息的簽章,而就簽章者的角度而言,他只知道他確實簽了訊息集合中的某一個訊息,卻不能得知接收者真正希望得到的是哪一個訊息的簽章。然而,目前現存的所有模糊簽章方案都是建立在以數論為基礎的難問題上,正如Shor於1994年所提出的量子計算演算法,這些基於數論難題所設計的方案將無法承受來自量子電腦的攻擊。為了克服這個問題,本篇論文提出了一個簡單的基於晶格(Lattices)的抗量子攻擊N取1模糊簽章方案,並且提出了安全性證明,證明其在隨機預言模型(Random oracle)下,基於晶格的難問題-最小整數解問題(Shortest integer solution problem),滿足強不可偽造性及模糊性。據我們所知,我們是第一個提出基於晶格的抗量子攻擊的模糊簽章方案。
As business activities and information exchange increasingly move online, digital signatures, among other cryptographic techniques, have been developed to help authenticate the source and integrity of digital information when transferred. Various types of signature primitives, such as ring signatures and blind signatures, have been introduced to satisfy privacy protection needs spanning from ensuring anonymity of a signer to maintaining secrecy of the content to be signed from a signer. Among different signature schemes, the 1-out-of-𝑁 oblivious signature scheme, which was introduced by Chen (ESORICS’ 94) and later formalized by Tso et al. (ISPEC’ 08), provides a further basis of trust while preserving the signature requestor’s privacy as blind signatures do. In this scheme, a recipient first selects a set of messages, one of which being the message he or she intends to obtain a signature for. After interacting with a signer, while the recipient will be able to obtain a signature on the predetermined message, the signer only knows that he or she signed one of the messages but remains oblivious to exactly which message was signed. However, all existing oblivious signature schemes are built upon the hardness of number-theoretic problems, which, as Shor demonstrated in 1994, cannot withstand attacks from quantum adversaries. To address this problem, this work proposes a novel quantum-resistant 1-out-of-𝑁 oblivious signature scheme based on SIS hard assumption. We also provide security proofs to demonstrate that the security requirements of ambiguity and strong unforgeability are satisfied under the random oracle model. To the best of our knowledge, the proposed scheme is the first 1-out-of-𝑁 oblivious signature that is secure against quantum adversaries.
致謝 v
摘要 vii
Abstract ix
Contents xi
List of Tables xiii
List of Figures xv
List of Definitions xvii
1. Introduction 1
1.1 Motivation and Contribution 4
1.2 Organization 5
2. Preliminaries 7
2.1 Notation 7
2.2 Lattices 7
2.3 Lattice Hard Problems 9
2.3.1 Shortest Vector Problem (SVP) 9
2.3.2 Short Integer Solution Problem (SIS) 10
2.4 Digital Signatures 12
2.4.1 The Definition of Digital Signature 12
2.4.2 Security Requirements 13
2.5 Rejection Sampling 13
2.5.1 Normal Distribution 13
2.5.2 Rejection Sampling [Lyu12] 14
2.6 Forking Lemma 15
3. 1-out-of-𝑁 Oblivious Signature 17
3.1 Definition 17
3.2 Securities Models 18
4. Proposed Oblivious Signature Scheme from Lattices 21
5. Security Proofs 25
5.1 Unforgeability 25
5.2 Ambiguity 30
6. Theoretical Comparison and Efficiency Analysis 31
7. Conclusion and Future Work 33
Bibliography 35
[Ajt96] Miklós Ajtai. “Generating hard instances of lattice problems.” In: Proceedings of the Twenty-eighth Annual ACM Symposium on Theory of Computing. 1996, pp. 99–108 (cit. pp. 4, 10, 11).
[Ban93] Wojciech Banaszczyk. “New bounds in some transference theorems in the geometry of numbers.” In: Mathematische Annalen 296.1 (1993), pp. 625–635 (cit. p. 14).
[BLO18] Carsten Baum, Huang Lin, and Sabine Oechsner. “Towards practical lattice-based one-time linkable ring signatures.” In: International Conference on Information and Communications Security. Springer. 2018, pp. 303–322 (cit. p. 15).
[BN06] Mihir Bellare and Gregory Neven. “Multi-signatures in the plain public-key model and a general forking lemma.” In: Proceedings of the 13th ACM Conference on Computer and
Communications Security. 2006, pp. 390–399 (cit. p. 15).
[BCH+18] Emanuele Bellini, Florian Caullery, Alexandros Hasikos, Marcos Manzano, and Victor Mateu. “Code-based signature schemes from identification protocols in the rank metric.” In: International Conference on Cryptology and Metwork Security. Springer. 2018, pp. 277–298(cit. p. 4).
[BHH+15] Daniel J Bernstein, Daira Hopwood, Andreas Hülsing, et al. “SPHINCS: Practical stateless hash-based signatures.” In: Annual International Conference on the Theory and Applications of Cryptographic Techniques. Springer. 2015, pp. 368–397 (cit. p. 4).
[BHK+19] Daniel J Bernstein, Andreas Hülsing, Stefan Kölbl, et al. “The SPHINCS+ signature framework.” In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and
Communications Security. 2019, pp. 2129–2146 (cit. p. 4).
[BKV19] Ward Beullens, Thorsten Kleinjung, and Frederik Vercauteren. “CSI-FiSh: Efficient isogeny-based signatures through class group computations.” In: International Conference on the Theory and Application of Cryptology and Information Security. Springer. 2019, pp. 227–247 (cit. p. 4).
[BRS05] Enrique Bigne, Carla Ruiz, and Silvia Sanz. “The impact of Internet user shopping patterns and demographics on consumer mobile buying behaviour.” In: Journal of Electronic Commerce Research 6.3 (2005), p. 193
[BPS+07] Justin Brickell, Donald E Porter, Vitaly Shmatikov, and Emmett Witchel. “Privacy-preserving remote diagnostics.” In: Proceedings of the 14th ACM Conference on Computer and Communications Security. 2007, pp. 498–507 (cit. p. 1).
[CSC+18] Francesco Caputo, Veronica Scuotto, Elias Carayannis, and Valentina Cillo. “Intertwining the Internet of things and consumers’ behaviour science: Future promises for businesses.”In: Technological Forecasting and Social Change 136 (2018), pp. 277–284 (cit. p. 1).
[Cha83] David Chaum. “Blind signatures for untraceable payments.” In: Advances in Cryptology. Springer. 1983, pp. 199–203 (cit. p. 2).
[CV91] David Chaum and Eugène Van Heyst. “Group signatures.” In: Workshop on the Theory and Application of of Cryptographic Techniques. Springer. 1991, pp. 257–265 (cit. p. 1).
[Che94] Lidong Chen. “Oblivious signatures.” In: European Symposium on Research in Computer Security. Springer. 1994, pp. 161–172 (cit. pp. 2, 5).
[DPV19] Thomas Decru, Lorenz Panny, and Frederik Vercauteren. “Faster SeaSign signatures through improved rejection sampling.” In: International Conference on Post-Quantum Cryptography. Springer. 2019, pp. 271–285 (cit. p. 4).
[DKL+18] Léo Ducas, Eike Kiltz, Tancrede Lepoint, et al. “Crystals-dilithium: A lattice-based digital signature scheme.” In: IACR Transactions on Cryptographic Hardware and Embedded Systems (2018), pp. 238–268 (cit. pp. 4, 15).
[FMJ+18] Mohamed Amine Ferrag, Leandros A Maglaras, Helge Janicke, Jianmin Jiang, and Lei Shu. “A systematic review of data protection and privacy preservation schemes for smart grid communications.” In: Sustainable Cities and Society 38 (2018), pp. 806–835 (cit. p. 1).
[FS86] Amos Fiat and Adi Shamir. “How to prove yourself: Practical solutions to identification and signature problems.” In: Conference on the theory and application of cryptographic techniques. Springer. 1986, pp. 186–194 (cit. p. 1).
[GPV08] Craig Gentry, Chris Peikert, and Vinod Vaikuntanathan. “Trapdoors for hard lattices and new cryptographic constructions.” In: Proceedings of the fortieth annual ACM symposium on Theory of computing. 2008, pp. 197–206 (cit. p. 11).
[GKT+16] J Paul Gibson, Robert Krimmer, Vanessa Teague, and Julia Pomares. “A review of e-voting: the past, present and future.” In: Annals of Telecommunications 71.7 (2016), pp. 279–286 (cit. p. 1).
[GMR88] Shafi Goldwasser, Silvio Micali, and Ronald L Rivest. “A digital signature scheme secure against adaptive chosen-message attacks.” In: SIAM Journal on computing 17.2 (1988), pp. 281–308 (cit. p. 13)
[GDW21] Jianxiong Guo, Xingjian Ding, and Weili Wu. “Reliable traffic monitoring mechanisms based on blockchain in vehicular networks.” In: IEEE Transactions on Reliability (2021) (cit. p. 1).
[HQH16] Fei Han, Jing Qin, and Jiankun Hu. “Secure searches in the cloud: A survey.” In: Future Generation Computer Systems 62 (2016), pp. 66–75 (cit. p. 1).
[HKL+20] Eduard Hauck, Eike Kiltz, Julian Loss, and Ngoc Khanh Nguyen. “Lattice-based blind signatures, revisited.” In: Annual International Cryptology Conference. Springer. 2020, pp. 500–529 (cit. p. 15).
[HZK+16] Debiao He, Sherali Zeadally, Neeraj Kumar, and Jong-Hyouk Lee. “Anonymous authentication for wireless body area networks with provable security.” In: IEEE Systems
Journal 11.4 (2016), pp. 2590–2601 (cit. p. 1).
[Hül13] Andreas Hülsing. “W-OTS+–shorter signatures for hash-based signature schemes.” In: International Conference on Cryptology in Africa. Springer. 2013, pp. 173–188 (cit. p. 4).
[IN96] Russell Impagliazzo and Moni Naor. “Efficient cryptographic schemes provably as secure as subset sum.” In: Journal of Cryptology 9.4 (1996), pp. 199–216 (cit. p. 11).
[KCR+21] Guillaume Kaim, Sébastien Canard, Adeline Roux-Langlois, and Jacques Traoré. “Post-quantum online voting scheme.” In: International Conference on Financial Cryptography and Data Security. Springer. 2021, pp. 290–305 (cit. p. 1).
[KAK21] Kashif Mehboob Khan, Junaid Arshad, and Muhammad Mubashir Khan. “Empirical analysis of transaction malleability within blockchain-based e-Voting.” In: Computers & Security 100 (2021), p. 102081 (cit. p. 1).
[KSL+21] Gulshan Kumar, Rahul Saha, Chhagan Lal, and Mauro Conti. “Internet-of-Forensic (IoF): A blockchain based digital forensics framework for IoT applications.” In: Future Generation Computer Systems 120 (2021), pp. 13–25 (cit. p. 1).
[LKR99] Hairong Li, Cheng Kuo, and Maratha G Rusell. “The impact of perceived channel utilities, shopping orientations, and demographics on the consumer’s online buying behavior.” In: Journal of Computer-mediated Communication 5.2 (1999), JCMC521 (cit. p. 1).
[LLS+13] Rongxing Lu, Xiaodong Lin, Zhiguo Shi, and Xuemin Sherman Shen. “A lightweight conditional privacy-preservation protocol for vehicular traffic-monitoring systems.” In: IEEE Intelligent Systems 28.3 (2013), pp. 62–65 (cit p. 1).
[LSH+21] Pantaleon Lutta, Mohamed Sedky, Mohamed Hassan, Uchitha Jayawickrama, and Benhur Bakhtiari Bastaki. “The complexity of Internet of things forensics: A state-of-the-
art review.” In: Forensic Science International: Digital Investigation 38 (2021), p. 301210 (cit. p. 1).
[Lyu12] Vadim Lyubashevsky. “Lattice signatures without trapdoors.” In: Annual International Conference on the Theory and Applications of Cryptographic Techniques. Springer. 2012, pp. 738–755 (cit. pp. 4, 11, 13–15, 21, 24).
[LNS21] Vadim Lyubashevsky, Ngoc Khanh Nguyen, and Gregor Seiler. “SMILE: Set membership from ideal lattices with applications to ring signatures and confidential transactions.” In: Annual International Cryptology Conference. Springer. 2021, pp. 611–640 (cit. p. 4).
[MM11] Daniele Micciancio and Petros Mol. “Pseudorandom knapsacks and the sample complexity of LWE search-to-decision reductions.” In: Annual International Cryptology Conference. Springer. 2011, pp. 465–484 (cit. p. 11).
[MP13] Daniele Micciancio and Chris Peikert. “Hardness of SIS and LWE with small parameters.” In: Annual Cryptology Conference. Springer. 2013, pp. 21–39 (cit. p. 11).
[MR07] Daniele Micciancio and Oded Regev. “Worst-case to average-case reductions based on Gaussian measures.” In: SIAM Journal on Computing 37.1 (2007), pp. 267–302 (cit. p. 11).
[Pei+16] Chris Peikert et al. “A decade of lattice cryptography.” In: Foundations and Trendső in Theoretical Computer Science 10.4 (2016), pp. 283–424 (cit. p. 12).
[PS00] David Pointcheval and Jacques Stern. “Security arguments for digital signatures and blind signatures.” In: Journal of Cryptology 13.3 (2000), pp. 361–396 (cit. p. 15).
[RST01] Ronald L Rivest, Adi Shamir, and Yael Tauman. “How to leak a secret.” In: International conference on the theory and application of cryptology and information security. Springer. 2001, pp. 552–565 (cit. p. 1).
[SMG+21] Christian Schemer, Philipp K Masur, Stefan GeiSS, Philipp Müller, and Svenja Schäfer. “The impact of Internet and social media use on well-being: A longitudinal analysis of adolescents across nine years.” In: Journal of Computer-Mediated Communication 26.1 (2021), pp. 1–21 (cit. p. 1).
[Sho94] Peter W Shor. “Algorithms for quantum computation: discrete logarithms and factoring.” In: Proceedings 35th Annual Symposium on Foundations of Computer Science. IEEE. 1994, pp. 124–134 (cit. p. 4).
[SHM+20] Yongcheng Song, Xinyi Huang, Yi Mu, Wei Wu, and Huaxiong Wang. “A code-based signature scheme from the Lyubashevsky framework.” In: Theoretical Computer Science
835 (2020), pp. 15–30 (cit. p. 4).
[SGB01] Sarah Spiekermann, Jens Grossklags, and Bettina Berendt. “E-privacy in 2nd generation E-commerce: Privacy preferences versus actual behavior.” In: Proceedings of the 3rd ACM Conference on Electronic Commerce. 2001, pp. 38–47 (cit. p. 1).
[Tso19] Raylin Tso. “Two-in-one oblivious signatures.” In: Future Generation Computer Systems 101 (2019), pp. 467–475 (cit. p. 3).
[TOO08] Raylin Tso, Takeshi Okamoto, and Eiji Okamoto. “1-out-of-n oblivious signatures.” In:
International Conference on Information Security Practice and Experience. Springer. 2008, pp. 45–55 (cit. pp. 3, 5, 17).
[YWL+19] Donghuan Yao, Mi Wen, Xiaohui Liang, et al. “Energy theft detection with energy privacy
preservation in the smart grid.” In: IEEE Internet of Things Journal 6.5 (2019), pp. 7659–7669.
[ZG18] Zhiyong Zhang and Brij B Gupta. “Social media security and trustworthiness: Overview and new direction.” In: Future Generation Computer Systems 86 (2018), pp. 914–925.
[ZDZ07] Lina Zhou, Liwei Dai, and Dongsong Zhang. “Online shopping acceptance model-A critical survey of consumer factors in online shopping.” In: Journal of Electronic Commerce Research 8.1 (2007), p. 41 (cit p. 1).
全文公開日期 2027/07/03