A Survey of Mobile Cloud Computing Applications : Perspectives and Challenges
Formal analysis of Facebook Connect Single Sign-On authentication protocol ?