https://github.com/mstone/soutei

a logic-based trust-management system
https://github.com/mstone/soutei

Last synced: 11 months ago
JSON representation

a logic-based trust-management system

• Host: GitHub
• URL: https://github.com/mstone/soutei
• Owner: mstone
• Created: 2012-09-14T19:45:47.000Z (almost 14 years ago)
• Default Branch: master
• Last Pushed: 2012-09-17T17:07:58.000Z (over 13 years ago)
• Last Synced: 2025-04-06T15:04:51.079Z (about 1 year ago)
• Language: Haskell
• Size: 230 KB
• Stars: 19
• Watchers: 3
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

          
Soutei, a logic-based trust-management system

Andrew Pimlott and Oleg Kiselyov

Soutei is a trust-management system, a dialect of Binder, for access

control in distributed systems. Soutei policies and credentials are

written in a declarative logic-based security language and thus

constitute distributed logic programs. Soutei policies are modular,

concise, and readable. They support policy verification, and, despite

the simplicity of the language, express role- and attribute-based

access control lists, and conditional delegation.

Documentation:

 - Andrew Pimlott and Oleg Kiselyov:

   Soutei, a logic-based trust-management system (system description)

   The paper presented at FLOPS 2006, 8th International Symposium on

   Functional and Logic Programming. Fuji-Susono, Japan, April 24-26, 2006.

   The paper is published in Springer's Lecture Notes in Computer Science 3945,

   pp. 130-145, 2006.

   http://dx.doi.org/10.1007/11737414

   http://okmij.org/ftp/papers/Soutei.pdf

- Specification, use cases and design notes

  http://soutei.sf.net/doc/

The source code is under GPL 2 license.

MANIFEST

Soutei/		The Soutei library (The Soutei `package')

	Sample Soutei applications

soutei-server.hs		Soutei TCP server

soutei-cli.hs			A bare-bone client for the soutei-server

				(useful for testing)

	Demonstrations

demo/rbac/		Modelling access control lists and role-based 

			access control in Soutei

			See the Soutei paper, section `Soutei by example'

demo/rbac/run-test.sh   The file to run the tests

demo/rbac/demo/rbac/system	The system policy

demo/rbac/demo/rbac/local/assertions/   Other policies (HR, app-owner, etc)

demo/metcast-channels/  Extensive regression test suite for Soutei along 

			the lines of an actual demonstration,

			given in June 2005.

			See Section `A real-life use case' in the Soutei

			paper.

demo/metcast-channels/Makefile	 do make test

demo/metcast-channels/doc/  The slides of the test and the presentation

			    script