Spi Policy Typechecker

Status: Inactive

Brought to you by: praabjerg

Downloads: 0 This Week

Last Update: 2013-04-23

Browse Code

Get an email when there's a new version of Spi Policy Typechecker

An implementation of the type system presented in 2005 by Cédric Fournet, Andrew D. Gordon and Sergio Maffeis in A Type Discipline for Authorization Policies: http://research.microsoft.com/en-us/um/people/adg/publications/msr-tr-2005-01.pdf

Project Activity

See All Activity >

Follow Spi Policy Typechecker

Spi Policy Typechecker Web Site

Other Useful Business Software

$300 Free Credits for Your Google Cloud Projects Icon

$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of Spi Policy Typechecker!

Additional Project Details

Registered

2009-07-07

Report inappropriate content

$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial

Recommended Projects

Project Pegasus
A Modular Communications Suite developed in Visual Basic .NET and Visual C# .NET 2005. NOTICE: THIS REQUIRES VISUAL STUDIO 2005 EXPRESS COMPONENTS AND THE .NET 2.0 FRAMEWORK
Pandoramon (Not active since 2005)
This project has been moved to Pandora FMS project (since 2005). New site is at http://pandorafms.org
Blood bank management system_(BBMS)_V1.0
 The Blood bank management system is developed in Visual Basic 6.0 (VB6) as a front end and at back end database is in MS-SQL 2005, which provides employee login used to maintain the blood bank records.  Front End – VB6 (Framework 2.0).  Back End – MS-SQL 2005.
GTK-GAMESS
GTK-GAMESS is a graphical frontend for GAMESS, a General Atomic and Molecular Electronic Structure System written and maintaned by the Gordon research group a Iowa State University.
Win32 BGI implementation
An implementation of old BGI library(simple graphics library) (that was included in TurboC++, BorlandC++) for Microsoft Windows for use with MinGW/MSVC(6,2002,2003 2005). The main feature is good debugging support.