Towards a Formal Foundation of Web Security
A logic of authentication