Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks