]> 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.]]> 2003-05-01T00:00:00-05:00 2005-05-01T00:00:00-05:00 2004-07-09T00:00:00-05:00