{"repository":{"owner":"rispoli","has_issues":true,"has_downloads":true,"language":"Scheme","watchers":0,"stargazers":0,"fork":false,"size":136,"has_wiki":true,"created_at":"2012-11-02T06:22:19-07:00","private":false,"pushed_at":"2012-11-02T06:22:47-07:00","description":" \tA translator from policies written in modal access control logic (M-ACL) into first-order formulae expressed in DFG syntax. The resulting output can be directly used to reason about access control with the SPASS theorem prover.","forks":0,"open_issues":0},"actor_attributes":{"email":"23895174520a4f48b41298c101c319444224c053@gmail.com","name":"Daniele Rispoli","blog":"http://is.gd/rispoli","type":"User"},"url":"https://github.com/rispoli/macl2spass/compare/master"}