A Research on the Security of OSA/Parlay Authentication Interface
An Z · Microcomputer Information · 2007
In this paper,first,the OSA/Parlay framework based on the TSM architecture is discussed and the security of the authenti-cation 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 corre-sponding solutions for the flaws are brought up.