Same Origin Policy in Alloy This repository contains an Alloy model of the same origin policy along with its description.