Research of TSM Security Property in Parlay/OSA based on Formal Analysis

摘要：

As a key service providing technology in NGN, the Parlay/OSA realizes the separation between service creation and lower layers network completely. Parlay/OSA open the network recourses to the 3rd party, and makes use of the Parlay framework interface to suit service creation by 3rd party. However, it is inevitable that there are some security hidden troubles in providing application programming interfaces (APIs). In this paper, we focus on authentication process on Parlay/OSA framework interface, and make use of formal analysis instrument to analyze the security of Parlay/OSA. As a result of this analysis, some security flaws have been present.

关键词： Parlay/OSA Framework formal analysis TSM

作者: Fan Zi-Fu Luo Rui-Zhi Wan Xiao-Yu

作者单位: Next Generation Network Application Technology Institute, Chongqing University of Posts and Telecomm Next Generation Network Application Technology Institute, Chongqing University of Posts and Telecomm

会议类型: 国际会议

会议名称: 2010 The IET 3rd International Conference on Wireless,Mobile & Multimedia Networks(第三届IET无线移动及多媒体网络国际会议 ICWMMN 2010)

会议地点: 北京

会议语种:英文

页码: 51-54

在线出版日期: 2010-09-26（万方平台首次上网日期，不代表论文的发表时间）