Conflict Management in Obligation with Deadline Policies
Résumé
A security policy defines the rules to ensure the security properties of an information system. These rules are often expressed as permissions, prohibitions and obligations which could lead to conflicting situations. We are interested in this work in managing conflict between obligations with deadlines. We define a process based on the situation calculus to provide a plan of actions, when it exists, which fulfills all obligations in their deadlines. To illustrate our approach, we take an example of obligation rules with deadline concerning completion of patient medical records.