Research of TSM security property in Parlay/OSA based on formal analysis

Author

Fan Zi-Fu ; Luo Rui-Zhi ; Wan Xiao-Yu

Author_Institution

Next Generation Network Applic. Technol. Inst., Chongqing Univ. of Posts & Telecommun., Chongqing, China

fYear

2010

fDate

26-29 Sept. 2010

Firstpage

51

Lastpage

54

Abstract

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 3^rd 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.

Keywords

application program interfaces; authorisation; computer network security; formal specification; user interfaces; API; NGN; Parlay-OSA; TSM security property; application programming interfaces; authentication; formal analysis instrument; network recourses; service creation; service providing technology; Framework; Parlay/OSA; TSM; formal analysis;

fLanguage

English

Publisher

iet

Conference_Titel

Wireless, Mobile and Multimedia Networks (ICWMNN 2010), IET 3rd International Conference on

Conference_Location

Beijing

Type

conf

DOI

10.1049/cp.2010.0616

Filename

5702954