A Formal Approach for Identity Management in Federated Web Services. - S. Chandrasekaran; C. Dinesh; Kartic Ramesh; Al. Murugappan (HPCNCS, 2007)