CINXE.COM
<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" href="/assets/main.css"> <link rel="alternate" type="application/rss+xml" title="alloy" href="/feed.xml"> </head> <body> <header class="site-header" role="banner"> <div class="wrapper"> <a class="site-title" href="/">alloy</a> <nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path fill="#424242" d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.031C17.335,0,18,0.665,18,1.484L18,1.484z"/> <path fill="#424242" d="M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0c0-0.82,0.665-1.484,1.484-1.484 h15.031C17.335,6.031,18,6.696,18,7.516L18,7.516z"/> <path fill="#424242" d="M18,13.516C18,14.335,17.335,15,16.516,15H1.484C0.665,15,0,14.335,0,13.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.031C17.335,12.031,18,12.696,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"> <a class="page-link" href="/about.html">about</a> <a class="page-link" href="/applications.html">uses</a> <a class="page-link" href="/book.html">book</a> <a class="page-link" href="/community.html">community</a> <a class="page-link" href="/documentation.html">docs</a> <a class="page-link" href="/download.html">download</a> <a class="page-link" href="/models.html">models</a> </div> </nav> </div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <article class="post"> <header class="post-header"> <h1 class="post-title">Alloy Models</h1> </header> <div class="post-content"> <h2 id="alloy-models">Alloy Models</h2> <p>Models for Alloy.</p> <table> <tr> <td class="title"> <a href="/models/simple-webattack.html">Web Attacks Intro</a> </td> <td>A model that shows a web attack based on credentials stealing and cookie hijacking</td> </tr> </table> <p>There is a public repository to host Alloy models - <a href="https://github.com/AlloyTools/models">AlloyTools/models</a>. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.</p> </div> </article> </body> </html>