Urban C

Latest

• Formal analysis of Facebook Connect Single Sign-On authentication protocol