IDE for Rei Policy Language
Status: Past project
This growing importance of policy-based security underlines the need for usable interface for creating policies and providing support for policy verification, policy validation and policy engineering. Motivated by this need, we are developing an Integrated Development Environment (IDE) for security policies by extending the plug-in architecture of IBM�s Eclipse Platform. The policies are specified in Rei, a policy language with general specifications for policies as well as mechanisms for policy verification. It includes few constructs based on deontic logic that allow security policies to be described in terms of rights, obligations, dispensations, and prohibitions. It has a semantic interface for describing policies in semantic languages. The use of a semantic language enhances their interoperability and extensibility. Associated with the language is a policy engine that can be used within the application domain to interpret and reason over policies, help resolve in case of conflicts between policies, answer queries related to policy making and aid security and privacy governance by means of policy enforcement.
Start Date: May 2003
End Date: May 2005
There is 1 associated publication: Hide the list...
1 Non-Refereed Publication
1. Anjali Bharat Shah et al., "Policy Development Software for Security Policies", TechReport, DIMACS workshop on Usable Privacy and Security Software, July 2004.
There are 0 associated resources: Hide the list...