L. Cholvy. An application of sol-deduction : checking regulation consistency. In Collection of poster abstracts. IJCAI, 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Reasoning about Norms Provided by Conflicting Regulations - Cholvy, Cuppens (1998) (2 citations) Self-citation (Cholvy) (Correct)
No context found.
L. Cholvy. An application of sol-deduction : checking regulation consistency. In Collection of poster abstracts. IJCAI, 1997.
Merging Security Policies: Analysis of a Practical.. - Cuppens, Cholvy.. (1998) (1 citation) Self-citation (Cholvy) (Correct)
....to translate formula of the form O r # into formula obligatory#r;##.whereobligatory is now a binary predicate and # is a function, and formula O r :# into formula obligatory#r; not#### where not is also a function. Due to space limitation, we shall not further develop this approach but see [9] and [7] for a more detailed presentation of the algorithm to automatically detect normative conflicts. Notice that our approach only apply to security policies which do not include disjunctive norms, that is norms of the form O r ## ##. Indeed, in this case, the conflict might involve more than two ....
L. Cholvy. An application of SOL-deduction: checking regulation consistency. In Collection of poster abstracts.IJCAI, 1997.
Reasoning about Norms Provided by Conflicting Regulations - Cholvy, Cuppens (1998) (2 citations) Self-citation (Cholvy) (Correct)
....when the regulations are conflict free sets of deontic literals. Notice that a first task is to check if each regulation is indeed conflict free indeed. A strategy, based on Inoue s SOL resolution (Inoue, 1991) Inoue, 1992) for detecting conflicts within a given regulation is presented in (Cholvy, 1997) and its application to checking consistency of security policies is presented in (Cholvy Cuppens, 1997) The whole approach has been successfully applied to analyze regulations used in the context of the National Defense to protect secret data (Cuppens Saurel, 1996) The main restriction of ....
....to put secret documents in a safe and it is obligatory to destroy old documents ) However, to deduce that these two norms are conflicting, we need to express the con 17 straint that keeping a document and destroying it are contradictory actions. This constraint, called a domain constraint in (Cholvy, 1997), is not provided by the regulations since it is not a norm. It only restricts the worlds on which the different regulations apply: in the example, the two regulations only rule worlds where keeping documents and destroying them are contradictory. The extension of the logic presented here to the ....
Cholvy, L. (1997). An application of SOL-deduction : checking regulation consistency. In Collection of poster abstracts, IJCAI'97..
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC