Is OAuth flawless?
What is it about?
While using any social network be it facebook, twitter or linkedin OAauth is the underlying authentical protocol. We have used alloy to formally verify the various functionality of OAuth.
Why is it important?
We have used alloy tool to model and verify various functionality of OAuth protocol and could find a major limitation of OAuth.
The following have contributed to this page: Sanjay Singh