From fdad6414dc1a2514216b478153de058d95343ef3 Mon Sep 17 00:00:00 2001 From: Google Code Exporter Date: Thu, 12 Mar 2015 20:37:58 -0400 Subject: [PATCH] Migrating wiki contents from Google Code --- ProjectHome.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 ProjectHome.md diff --git a/ProjectHome.md b/ProjectHome.md new file mode 100644 index 0000000..52177b6 --- /dev/null +++ b/ProjectHome.md @@ -0,0 +1,12 @@ +### Overview ### + +We implement a formal model of web security based on an abstraction of +the web platform and use this model to analyze the security of +several sample web mechanisms and applications. +The project is currently implemented in Alloy v4. + +### Coverage ### + +The current implementation defines web principals, and models browser behaviors including same origin policy, cookies, and redirects. + +The case studies we have undertaken include HTML5 forms, Referer validation, Cross-Origin Resource Sharing (CORS), and a single sign-on protocol. \ No newline at end of file