臺灣博碩士論文加值系統

次世代無線網路包括不同規格的通訊技術 (例如：UMTS~cite{yblinbook,barooah2013architectural}, LTE~cite{rumney2013lte}, WiMAX~cite{chiang2013performance}, and WiFi~cite{wei2013wifi})，這種由不同網路營運商 (Operator)所共同建構的網路稱之為異質網路 (Heterogeneous Networks~cite{DBLP:journals/bell/LingCCV13})。 手機使用者 (User)只需與網路營運商簽約並支付相關費用，就可透過各種行動裝置，同時享用各式各樣的網路及應用服務。預付是其中一種付費方式，能確保使用者不使用超過他們所能支付的服務。如何從理論層面中建立次世代無線網路的預付機制，從而安全和有效率地支付使用者同時使用中的各種服務，這是至關重要的研究。為應對這一挑戰，我們這篇論文提出了NSEP (A Novel Secure Micro Electronic Payment Model)，並證明其達到最嚴謹的安全等級，以及分析其在通訊網路中之效能。

In the next generation wireless networks, heterogeneous network technologies (e.g., UMTS, LTE, WiMAX, and WiFi) coexist to provide users communications services. Users may use different terminals to access different Internet applications through different communication services simultaneously. The applications and communication services are owned by different operators. Users obtain the services/applications by making payments to their subscribed networks. Prepaid is one of the payment models, which ensures that users do not overuse the communication service or applications within limited credits. How to apply the prepaid model in the next generation networks such that user''s credits can be securely distributed among different operators to support user''s usage of different services at the same time is challenging. For the challenge, in this paper, we propose NSEP (A Novel Secure Micro Electronic Payment Model). We prove NSEP satisfies the security requirements and analyze the performance of NSEP in terms of signaling overhead.

Acknowledgement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .i
English Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .v
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1
2 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9
2.1 Partially Blind Signature . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Short Digital Signature and Pairing Based Cryptography . . . . . . . . . 10
3 NSEP: Novel Secure micro Electronic Payment model 13
3.1 System Initialization Procedure . . . . . . . . . . . . . . . . . . . . . . . 14
3.2 Payment Transaction in NSEP . . . . . . . . . . . . . . . . . . . . . . . 15
3.2.1 Withdrawal Phase . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.2.2 Payment Phase . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2.3 Return-Change Phase . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2.4 Deposit Phase . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.3 Discussions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4 Extension of NSEP 27
5 Security Analysis 33
5.1 Authentication & Unforgeability of Token . . . . . . . . . . . . . . . . . 33
5.2 Avoidance of Overspending & Double Spending . . . . . . . . . . . . . . 35
5.3 Fairness & Non-Repudiation of Billing . . . . . . . . . . . . . . . . . . . 35
5.4 Untraceability & Unlinkability of User . . . . . . . . . . . . . . . . . . . 37
5.5 Data Confidential . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
6 Conclusion 39
A Analytic Model for Deriving of E[N] 41
A.1 General Distribution . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
A.2 Gamma Distribution . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
A.3 Exponential Distribution . . . . . . . . . . . . . . . . . . . . . . . . . . 44
A.4 Numerical Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
Bibliography 47

[1] Y.-B. Lin and I. Chlamtac. Wireless and Mobile Network Architectures. John Wiley
& Sons, 2001.
[2] Maushumi Barooah, Sandip Chakraborty, Sukumar Nandi, and Dhananjay Kotwal. An architectural framework for seamless handoff between ieee 802.11 and umts networks. Wireless networks, 19(4):411–429, 2013.
[3] Moray Rumney et al. LTE and the evolution to 4G wireless: Design and measurement challenges. Wiley. com, 2013.
[4] ML Chiang, SS Wang, SC Wang, KQ Yan, and HH Liang. Performance enhancement of wimax by three layers topology. International Journal of Mobile Communications,11(1):89–106, 2013.
[5] Hung-YuWei, Jarogniew Rykowski, and Sudhir Dixit. WiFi,WiMAX and LTEMultihop Mesh Networks: Basic Communication Protocols and Application Areas, volume 96. Wiley. com, 2013.
[6] Jonathan Ling, Dmitry Chizhik, Chung Shue Chen, and Reinaldo A. Valenzuela. Capacity growth of heterogeneous cellular networks. Bell Labs Technical Journal, 18(1):27–40, 2013.
[7] Li Huang, Guangxi Zhu, and Xiaojiang Du. Cognitive femtocell networks: an opportunistic spectrum access for future indoor wireless coverage. Wireless Communications, IEEE, 20(2):44–51, 2013.
[8] Forrest Lane Steely and James Robert Prince. Methods and apparatus for cloud printing, May 2 2013. US Patent 20,130,107,314.
[9] Bishwajit Banik Pathik, Md Imtiaz Shazzad, Manzur H Khan, and Dr Md Mamun Habib. A novel framework of e-commerce payment via cell phone. International Journal of Business and Information Technology, 3(1), 2013.
[10] Asokan, N., Janson, P. A., Steiner, M., and Waidner, M. The State of the Art in Electronic Payment Systems. IEEE Computer, 30(9):28–35, September 1997.
[11] P. Lin, H.-Y. Chen, Y. Fang, J.-Y. Jeng, and F.-S. Lu. A secure mobile electronic payment architecture platform for wireless mobile networks. IEEE Trans. Wireless Commun., 7(7):2705–2713, July 2008.
[12] Hongliang Guo. The research on electronic commerce security payment system based on set protocol. In Proc. of SPIE Vol, volume 8334, pages 83342Q–1, 2012.
[13] M. Bellare, J. Garay, R. Hauser, A. Herzberg, H. Krawczyk, M. Steiner, G. Tsudik, E. Herreweghen, and M. Waidner. Design, implementation, and deployment of the iKP secure electronic payment system. IEEE J. Sel. Areas Commun., 18(4):611– 627, April 2000.
[14] Steven H. Low, Sanjoy Paul, and Nicholas F. Maxemchuk. Anonymous credit cards. In Proc. ACM CCS’94, pages 108–117, November 1994.
[15] Yanchao Zhang and Yuguang Fang. A secure authentication and billing architecture for wireless mesh networks. Wireless Networks, 13(5):663–678, 2007.
[16] Ian Miers, Christina Garman, Matthew Green, and Aviel D Rubin. Zerocoin: Anonymous distributed e-cash from bitcoin. In IEEE Symposium on Security and Privacy, 2013.
[17] L. de Carvalho Ferreira and R. Dahab. A scheme for analyzing electronic payment systems. In Proc. ACSAC’98, pages 137–146, December 1998.
[18] S.-M. Yen. PayFair: A prepaid Internet micropayment scheme ensuring customer fairness. IEE Proc.-Comput. Digit. Tech., 148(6):207–213, November 2001.
[19] H. Wang and H. Guo. Fair payment protocols for E-commerce. In Proc. I3E’04, pages 227–245, July 2004. [20] Jianying Zhou and Kwok-Yan Lam. Undeniable billing in mobile communication. In Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking, MobiCom ’98, pages 284–290, New York, NY, USA, 1998. ACM.
[21] Haojin Zhu, Xiaodong Lin, Rongxing Lu, Pin han Ho, and Xuemin Shen. Slab: A secure localized authentication and billing scheme for wireless mesh networks. IEEE Transactions on Wireless Communications, 7:3858–3868, October 2008.
[22] David Chaum. Blind signatures for untraceable payments. In CRYPTO, pages 199– 203, 1982.
[23] Lourdes L’opez-Garc’ıa, Luis J Dominguez Perez, and Francisco Rodr’ıguez-Henr’ıquez. A pairing-based blind signature e-voting scheme. The Computer Journal, 2013.
[24] Fangguo Zhang, Reihaneh Safavi-naini, and Willy Susilo. Efficient verifiably encrypted signature and partially blind signature from bilinear pairings, 2004.
[25] Y.-C. Lai, P. Lin, and Y.-T. Huang. Design and implementation of a wireless internet remote access platform. Journal of Wireless Commun. and Mobile Comput., 6(4):413–429, June 2006.
[26] Dan Boneh, Ben Lynn, and Hovav Shacham. Short signatures from the weil pairing. In ASIACRYPT ’01: Proceedings of the 7th International Conference on the Theory and Application of Cryptology and Information Security, pages 514–532, London, UK, 2001. Springer-Verlag.
[27] Antoine Joux and Vanessa Vitse. Elliptic curve discrete logarithm problem over small degree extension fields. Journal of Cryptology, 26(1):119–143, 2013.
[28] Dan Boneh and Matthew Franklin. Identity-based encryption from Weil pairing. In Proc. CRYPTO 2001, pages 213–229, August 2001.
[29] P. Barreto, H. Kim, B. Bynn, and M. Scott. Efficient algorithms for pairing-based cryptosystems. In Proc. CRYPTO 2002, pages 354–368, August 2002.
[30] Henri Gilbert and Helena Handschuh. Security analysis of sha-256 and sisters. In Mitsuru Matsui and Robert J. Zuccherato, editors, Selected Areas in Cryptography, volume 3006 of Lecture Notes in Computer Science, pages 175–193. Springer, 2003.
[31] Joan Daemen and Vincent Rijmen. The Design of Rijndael: AES - The Advanced Encryption Standard. Springer Verlag, Berlin, Heidelberg, New York, 2002.
[32] Fangguo Zhang, Reihaneh Safavi-naini, and Willy Susilo. An efficient signature scheme from bilinear pairings and its applications. In PKC 2004, LNCS 2947, pages 277–290. Springer-Verlag, 2004.
[33] William Stallings. Cryptography and Network Security: Principles and Practice. Pearson Education, 2002.
[34] Dan Boneh, Ben Lynn, and Hovav Shacham. Short signatures from the weil pairing. In Proceedings of the 7th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology, ASIACRYPT ’01, pages 514–532, London, UK, 2001. Springer-Verlag.
[35] Yi-Bing Lin and Yuan-Kai Chen. Reducing authentication signaling traffic in thirdgeneration mobile network. Wireless Communications, IEEE Transactions on, 2(3):493–501, 2003.
[36] D. Gross. Fundamentals of queueing theory. Wiley series in probability and statistics. Wiley, 2008.