一種OSA/Parlay鑒權(quán)接口的安全性研究

本文討論了基于TSM 架構(gòu)的OSA/Parlay 框架，分析了TSM 的OSA/Parlay 框架中的
鑒權(quán)安全性，結(jié)合現(xiàn)有的兩種常用TSM 安全分析模型的優(yōu)點(diǎn)，提出了新的TSM 正規(guī)模型，并用CoProVe 對(duì)其進(jìn)行追蹤分析，發(fā)現(xiàn)了TSM 協(xié)議安全上的不足，最后，提出了相應(yīng)的解決方法。
關(guān)鍵詞：下一代網(wǎng)絡(luò)；可信安全管理； 解決方法
A Research on the Security of OSA/Parlay Authentication Interface Yang Xun1 Wan Xiao-Yu1 Huang Yong2 Fan Zi-Fu1 (1. Next Generation Network Application Technology Institute of CQUPT, Chongqing， China 400065 2. ChongQing PuTian Communication Equipment Co.,Ltd, Chongqing，China 400039） Abstract ：In this paper, first, the OSA/Parlay framework based on the TSM architecture is discussed and the security of the authentication in the framework is analyzed. Then, a new TSM formal security model which combined the advantages of the two current TSM models is presented. Finally, by tracing analyses with CoProVe, the security flaws of the TSM protocol are detected, and the corresponding solutions for the flaws are brought up.
Keywords：NGN； TSM； solutions