Spi Policy Typechecker

Status: Inactive

Brought to you by: praabjerg

Add a Review

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

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

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 to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

Tobacconist - Fresnel in Python
A python implementation of Fresnel, a display vocabulary for the Resource Description Framework (RDF). See http://www.w3.org/2005/04/fresnel-info/.
VB 2005 Socket Processor
A multi-threaded asynchronous TCP sockets handler written in VB 2005 as a Class Library. Includes a Demo application also written in VB 2005.
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
Msr 106/205
Small python script for writing data to magnetic card with msr 106/205 in ISO format.
Pandoramon (Not active since 2005)
This project has been moved to Pandora FMS project (since 2005). New site is at http://pandorafms.org