一种OSA/Parlay鉴权接口的安全性研究  

A Research on the Security of OSA/Parlay Authentication Interface

作　　者：杨埙[1] 万晓榆[1] 黄勇 樊自甫[1] 

机构地区：[1]重庆邮电大学下一代网络应用技术研究所,重庆400065 [2]重庆普天通信设备有限公司,重庆400039

出　　处：《微计算机信息》2007年第33期54-56,共3页Control & Automation

基　　金：重庆市教委科学技术研究项目(KJ050512;KJ050513;KJ060514);重庆市科委自然科学基金项目(CSTC2005BB2054);重庆邮电大学青年教师基金项目(A2005-26)

摘　　要：本文讨论了基于TSM架构的OSA/Parlay框架,分析了TSM的OSA/Parlay框架中的鉴权安全性,结合现有的两种常用TSM安全分析模型的优点,提出了新的TSM正规模型,并用CoProVe对其进行追踪分析,发现了TSM协议安全上的不足,最后,提出了相应的解决方法。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.

关 键 词：下一代网络 可信安全管理 解决方法 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]