a logic-based trust-management system - View it on GitHub