臺灣博碩士論文加值系統

近年來科技技術的進步，帶動了各種型態的身分驗證機制在各方面的蓬勃發展，舉凡金融、交通、醫療、保險等之應用，在許多國家都已有相當成熟的經驗；然而空用後勤資訊系統受限於國防部實體隔離的政策，現行均採取網域服務集中式管控，囿於RSA金鑰長度較長而使加解密速度緩慢及數位憑證認證中心（Certificate Authority, CA）頻於回應使用者提出驗證之需求影響硬體運作效能，造成使用者經常抱怨服務驗證失敗及增加電腦運算成本等情事；本研究植基於橢圓曲線密碼系統之並存簽章方法為基礎，模擬憑證認證中心處於離線狀態下，服務中斷或癱瘓時，仍可以透過自我認證機制不中斷系統服務，並取代RSA演算法，利用橢圓曲線密碼系統金鑰長度較短等優勢強化系統運算效能，具體貢獻簡述如後：（1）藉由自我認證機制產生之公、私鑰，進行身分驗證。（2）可離線架構以降低硬體頻於回應使用者所造成之負荷。（3）運用橢圓曲線密碼系統及串流加密法提升金鑰加解密速度。

In recent years, advances in science and technology have led to the flourishing development of various types of identity verification mechanisms in all aspects such as, financial, transportation, medical, insurance, etc. However, the Air Logistics Information System is limited by the Ministry of National Defense's policy of Physical Isolation Network. At present, they use centralized management to control the domain services. Due to the long RSA key length, the encryption speed is slow and the Digital Certificate Authority Center frequently responds to users’ verification needs, which affects the performance of the hardware and causes users to frequently complain about the verification failures and increased computing costs.
This research is based on the coexistence signature method of the Elliptic Curve Cryptography System. It simulates that when the Certificate Authority Center is offline and the service is interrupted or paralyzed, it can still use the self-authentication mechanism without interrupting the system service, and replace the RSA algorithm, using Elliptic Curve Cryptography System which has a short key length to enhance the system's computing performance. The specific contributions are as follows:(1)A public key and a private key are generated through a self-certification mechanism for identity verification.(2)The offline architecture can reduce the load caused by the hardware frequency response to the user.(3) Use Elliptic Curve Cryptography System and Stream Cipher to increase the speed of key encryption and decryption.

目錄
誌謝 i
中文摘要 ii
Abstract iv
目錄 vi
表目錄 x
圖目錄 xi
第一章、緒論 1
1.1研究背景與動機 1
1.2研究目的 3
1.3研究範圍與限制 4
1.4論文架構說明 4
第二章、文獻探討 7
2.1空用後勤資訊管理系統 7
2.1.1發展沿革 7
2.1.2系統介紹 7
2.1.3架構介紹 8
2.1.4登入機制介紹 11
2.2密碼學原理 11
2.2.1對稱式金鑰密碼系統 12
2.2.2非對稱式金鑰密碼系統 14
2.2.3橢圓曲線密碼系統 15
2.2.4串流加密法 19
2.2.5隨機亂數 21
2.2.6圓周率 23
2.2.7線性回饋位移暫存器 23
2.3密碼學應用 24
2.3.1數位簽章演算法 24
2.3.2存取控制 27
2.3.3自我認證公開金鑰系統 32
第三章、研究方法與研究架構 36
3.1系統符號說明 38
3.2設計可離線狀態下之自我認證機制架構 39
3.2.1系統起始階段 41
3.2.2註冊與取得公鑰階段 42
3.2.3共同金鑰產生階段 43
3.2.4認證及會議金鑰產生階段 44
3.2.5串流金鑰產生階段 47
3.2.6串流加解密產生階段 51
第四章、研究分析 53
4.1 BAN-Logic邏輯分析 53
4.1.1基本規則與定義 53
4.1.2 BAN-Logic流程證明 56
4.2安全性分析 60
4.2.1機密性 61
4.2.2完整性 61
4.2.3可用性 62
4.2.4身分認證 63
4.2.5存取控制 64
4.3效益分析 65
第五章、結論與未來研究方向 70
5.1結論 70
5.2未來研究方向 71
5.3國防領域應用 72
【參考文獻】 73
中文部分 73
英文部分 76
網路部分 76

中文部分
白丞鈞（2018）。橢圓曲線密碼處理器之設計與實作，國立臺灣大學電子工程學研究所碩士論文。
何鎮宏（2014）。以雙向線性反饋移位暫存器產生測試式樣序列的方法，中原大學資訊工程學系研究所碩士論文。
余庭儀（2019）。植基於智慧合約的數位內容交易電子支付方法，國防大學管理學院資訊管理學系研究所碩士論文。
宋宜芳（2018）。設計具高可靠度之存取控制機制—以國軍某電腦兵棋系統為例，國防大學資訊管理學系研究所碩士論文。
施景超、孫維祥（2000）。基於角色的訪問控制和實現，計算機應用研究，6。13-15。
胡國新（2000）。在線上電子拍賣環境下設計基於自我驗證公開金鑰系統之安全系統，大葉大學資訊管理系研究所碩士論文。
張建軍、吳啟武（2015）。物聯網中的隱私保護問題研究，計算機學報，6。278-279。
梁榮哲（2012）。多重文件盲簽章機制之設計，國防大學國防資訊管理學系研究所碩士論文。
陳文彬（2011）。運用動態存取控制方法於雲端服務之研究，國防大學資訊管理學系研究所碩士論文。
陳岳霖（2018）。強化國軍招募系統之身分認證暨金鑰交換機制設計，國防大學資訊管理學系研究所碩士論文。
陳岳霖（2018）。設計具高彈性及高可用性之多因子認證架構，國防大學資訊管理學系研究所碩士論文。
陳柏諭（2014）。強化國軍智慧卡身分認證及串流加密機制之設計，國防大學管理學院資訊管理學系研究所碩士論文。
傅振華、陳樂惠、李和家（2010年6月）。強化型LCG虛擬亂數機制亂數產生評量之研究，國防管理學術暨實務研討會，國防大學管理學院。
曾偉誌（2020）。以智慧合約為設計基礎之新穎政府採購招標方法，國防大學資訊管理學系研究所碩士論文。
曾國鈞（2018）。量子密碼學:模糊傳輸以及金鑰協議之研究，國立暨南國際大學資訊工程學系研究所博士論文。
結城浩（2016）。圖解密碼學與比特幣原理，基隆市：碁峰出版社。
楊博元（2019）。強化智慧卡之身分驗證暨秘密通訊機制設計，國防大學資訊管理學系研究所碩士論文。
葉家維（2019）。設計具多重難度之混合式公開金鑰密碼系統，國防大學國防資訊管理學系研究所碩士論文。
劉玉玲（2007）。不良率π的簡介，高等數學研究，2。62-64。
劉江龍、蔡昂勳、林秉賢、楊明翰（2019年12月）。基於有限狀態機構建之快速金時間串流產生器設計，TANET2019台灣網際網路研討會，高雄國際會議中心。
劉峻辰（2014）。複合式混沌串流加密器，宜蘭大學電子工程學系研究所碩士論文。
劉增芳、韋性佳、蘆殿軍（2018）。曲面加法運算的數據仿真，邵陽學院學報，3。19-20。
潘天佑（2012）。資訊安全概論與實務(第三版)，基隆市：碁峰出版社。
潘恩典（2003）。神奇的π，中國汕頭：汕頭大學出版社。
蕭世謙（2020）。後量子區塊鏈雜湊數位簽章之研究，國立臺灣大學電機工程學研究所碩士論文。
賴怡聖（2019）。基於身分驗證之USB存取管控研究，國防大學國防資訊管理學系研究所碩士論文。
蘇品長（2007）。植基於LSK和ECC技術之公開金鑰密碼系統，長庚大學電機工程學博士論文。
蘇品長、高嘉言（2012）。適用於電子商務系統之督文件簽密法設計，電子商務學報，14（1）。143-160。
蘇品長、蔡建華、郭文雄、林明慶、楊倫青（2011）。具自我認證之國軍網路申訴機制探討，國防管理學報，32（1）。59-72。
英文部分
Al-Kahtani, M. A., and Sandhu. (2004). Rule-based RBAC with Negative Authorization, Proceedings of Computer Security Applications, 13, pp.405-415.
Ferraiolo, D. F., Sandhu, R., Gavrila, S., Kuhn, R. D., and Chandramouli. (2001). Proposed NIST Standard for Role-Based Access Control, ACMTransactions on Information andSystem Security (4:3), pp.224-274.
Moyer, M. J., and Ahamad, M. (2001). Generalized Role-Based Access Control. International Conference on Distributed Computing Systems, pp.391-398.
Patil, P., Narayankar, P., Narayan, D. G., & Meena, S. M.. (2016). A comprehensive evaluation of cryptographic algorithms: DES, 3DES, AES, RSA and Blowfish. Procedia Computer Science, pp. 617-624.

網路部分
Microsoft（2021），Active Directory Structure and Storage Technologies，取自：https://docs.microsoft.com/zh-tw/azure/security/fundamentals/threat-detection.
資訊工業策進會科技法律研究所（2013），美國國家標準技術局（NIST）更新電子簽章標準，取自：https://stli.iii.org.tw/article-detail.aspx?no=64&tp=1&d=6260.
River Chan（2018），基礎密碼學(對稱式與非對稱式加密技術)，取自：https://reurl.cc/xEdNXV.