{"id":22375102,"url":"https://github.com/mstone/soutei","last_synced_at":"2025-07-30T22:31:34.860Z","repository":{"id":4667813,"uuid":"5813939","full_name":"mstone/soutei","owner":"mstone","description":"a logic-based trust-management system","archived":false,"fork":false,"pushed_at":"2012-09-17T17:07:58.000Z","size":236,"stargazers_count":19,"open_issues_count":0,"forks_count":3,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-04-06T15:04:51.079Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/mstone.png","metadata":{"files":{"readme":"README","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2012-09-14T19:45:47.000Z","updated_at":"2024-01-07T16:28:30.000Z","dependencies_parsed_at":"2022-09-21T00:01:07.620Z","dependency_job_id":null,"html_url":"https://github.com/mstone/soutei","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/mstone/soutei","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstone%2Fsoutei","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstone%2Fsoutei/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstone%2Fsoutei/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstone%2Fsoutei/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mstone","download_url":"https://codeload.github.com/mstone/soutei/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstone%2Fsoutei/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":267953590,"owners_count":24171420,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-07-30T02:00:09.044Z","response_time":70,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-12-04T21:19:36.338Z","updated_at":"2025-07-30T22:31:34.514Z","avatar_url":"https://github.com/mstone.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"Soutei, a logic-based trust-management system\nAndrew Pimlott and Oleg Kiselyov\n\nSoutei is a trust-management system, a dialect of Binder, for access\ncontrol in distributed systems. Soutei policies and credentials are\nwritten in a declarative logic-based security language and thus\nconstitute distributed logic programs. Soutei policies are modular,\nconcise, and readable. They support policy verification, and, despite\nthe simplicity of the language, express role- and attribute-based\naccess control lists, and conditional delegation.\n\n\nDocumentation:\n - Andrew Pimlott and Oleg Kiselyov:\n   Soutei, a logic-based trust-management system (system description)\n   The paper presented at FLOPS 2006, 8th International Symposium on\n   Functional and Logic Programming. Fuji-Susono, Japan, April 24-26, 2006.\n   The paper is published in Springer's Lecture Notes in Computer Science 3945,\n   pp. 130-145, 2006.\n   http://dx.doi.org/10.1007/11737414\n   http://okmij.org/ftp/papers/Soutei.pdf\n\n- Specification, use cases and design notes\n  http://soutei.sf.net/doc/\n\n\nThe source code is under GPL 2 license.\n\nMANIFEST\n\nSoutei/\t\tThe Soutei library (The Soutei `package')\n\n\tSample Soutei applications\nsoutei-server.hs\t\tSoutei TCP server\nsoutei-cli.hs\t\t\tA bare-bone client for the soutei-server\n\t\t\t\t(useful for testing)\n\n\tDemonstrations\ndemo/rbac/\t\tModelling access control lists and role-based \n\t\t\taccess control in Soutei\n\t\t\tSee the Soutei paper, section `Soutei by example'\ndemo/rbac/run-test.sh   The file to run the tests\ndemo/rbac/demo/rbac/system\tThe system policy\ndemo/rbac/demo/rbac/local/assertions/   Other policies (HR, app-owner, etc)\n\n\ndemo/metcast-channels/  Extensive regression test suite for Soutei along \n\t\t\tthe lines of an actual demonstration,\n\t\t\tgiven in June 2005.\n\t\t\tSee Section `A real-life use case' in the Soutei\n\t\t\tpaper.\ndemo/metcast-channels/Makefile\t do make test\ndemo/metcast-channels/doc/  The slides of the test and the presentation\n\t\t\t    script\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmstone%2Fsoutei","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmstone%2Fsoutei","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmstone%2Fsoutei/lists"}