aosabook/500lines — pull request #41 by eskang (2014-03-02 06:29:13+00:00)
Title: Initial version of the same-origin policy model in Alloy

This initial version contains Alloy models of:
* client-server model with HTTP
* the same origin policy
* the cross-origin sharing
* security property

To add for the future versions:
* model documentation
* JSONP
* PostMessage