Alloy Models

Models for Alloy.

Web Attacks Intro A model that shows a web attack based on credentials stealing and cookie hijacking

There is a public repository to host Alloy models - AlloyTools/models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.