本文討論了基于TSM 架構的OSA/Parlay 框架，分析了TSM 的OSA/Parlay 框架中的
鑒權安全性，結合現有的兩種常用TSM 安全分析模型的優點，提出了新的TSM 正規模型，并用CoProVe 對其進行追蹤分析，發現了TSM 協議安全上的不足，最后，提出了相應的解決方法。
關鍵詞：下一代網絡；可信安全管理； 解決方法
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