- 期刊
Formal Protocol Design of ESIKE Based on Authentication Tests
並列摘要
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE) protocol. Then we formally prove the secure properties of ESIKE with strand space model and authentication tests. The ESIKE protocol overcomes the security shortages of the Internet Key Exchange (IKE), and can provide secure negotiation of session key and Security Association (SA), protection of endpoints' identities, and mutual authentication between the initiator and the responder. It needs only three messages and less computational load, so it is simple and efficient.
被引用紀錄
Su, W. T. (2014). 監督式人臉超解析度技術-人臉辨識與重建之應用 [master's thesis, National Tsing Hua University]. Airiti Library. https://doi.org/10.6843/NTHU.2014.00578
甘宗達（2017）。基於電化學阻抗譜建立電池模型參數量測系統設計〔碩士論文，國立虎尾科技大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0028-0708201720371300
延伸閱讀
- 林昆漢（2013）。Secure E-Mail Protocol Design〔碩士論文，健行科技大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0022-1306201311204800
- HOWARD, N. J., TYRRELL, A. M., & ALLINSON, N. M. (1996). The Use of Field-Programmable Gate Arrays for the Hardware Acceleration of Design Automation Tasks. VLSI Design, 1996(), 135-139. https://doi.org/10.1155/1996/17505
- 蘇品長、阮于哲、王泰豐（2021）。Design of the User Authentication and Hybrid-Mode Public-Key Cryptosystem Based on Air Picture Forward System。國防管理學報，42(2)，1-30。https://www.airitilibrary.com/Article/Detail?DocID=10224858-202111-202207040015-202207040015-1-30
- 何嘉偉（2015）。All Optical PSK Format Conversion Based on FWM in a Bi-directional Scheme〔碩士論文，國立清華大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0016-0312201510241731
- Liu, C. Y., Lee, C. C., & Lin, T. C. (2011). Cryptanalysis of an Efficient Deniable Authentication Protocol Based on Generalized ElGamal Signature Scheme. International Journal of Network Security, 12(1), 58-60. https://doi.org/10.6633/IJNS.201101.12(1).08