Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021190941> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2021190941 abstract "Many papers have already provided models to formally specify security policies. In this paper, security policies are modeled using deontic concepts of permission and obligation. Permission rules are used to specify access control policies, while obligation rules are useful to specify other security requirements corresponding to usage control policies as the availability of information in its allotted time. However, when both permission and obligation concepts are used to express security policies, several different types of conflict can be raised and should be detected and managed. We are interested in this work in managing conflicts between obligations with deadlines and permissions. Thus, we first begin by formally defining the conflicting situations using the situation calculus. Afterwards, we provide an algorithm for searching a plan of actions, when it exists, which fulfills all the active obligations in a given situation in their deadlines with respect to the permission rules. The length of the plan is set in advance and can be calculated in the case where the sets of actions and fluents are finite to ensure the decidability of the solution search. Furthermore, in the plan search, the choice of the execution time of the elected actions obeys to equations and inequalities which need to be solved. For this purpose, we need a component allowing these equations and inequalities resolution. To illustrate our approach, we take an example inspired from existing laws in hospitals regulating deadlines for completion of patient medical records. The example is formally specified in our language and implemented in ECRC Common Logic Programming System ECLIPSE 3.5.2, which is equipped with Simplex algorithm for solving linear equations and inequalities over the reals. In the implementation, we show how the plan search can be optimized through the use of some heuristics and make some evaluation tests." @default.
- W2021190941 created "2016-06-24" @default.
- W2021190941 creator A5019693953 @default.
- W2021190941 creator A5069737547 @default.
- W2021190941 creator A5074976207 @default.
- W2021190941 creator A5078156328 @default.
- W2021190941 date "2014-09-10" @default.
- W2021190941 modified "2023-09-30" @default.
- W2021190941 title "Conflict detection in obligation with deadline policies" @default.
- W2021190941 cites W1511102551 @default.
- W2021190941 cites W1971925101 @default.
- W2021190941 cites W1988443617 @default.
- W2021190941 cites W2005473008 @default.
- W2021190941 cites W2015688007 @default.
- W2021190941 cites W2045474169 @default.
- W2021190941 cites W2065859092 @default.
- W2021190941 cites W2068189899 @default.
- W2021190941 cites W2071037918 @default.
- W2021190941 cites W2099140943 @default.
- W2021190941 cites W2136500750 @default.
- W2021190941 cites W2151737601 @default.
- W2021190941 cites W2168884369 @default.
- W2021190941 cites W2337392266 @default.
- W2021190941 cites W2409242942 @default.
- W2021190941 cites W2912325086 @default.
- W2021190941 cites W3136943026 @default.
- W2021190941 cites W4236387090 @default.
- W2021190941 cites W81942528 @default.
- W2021190941 doi "https://doi.org/10.1186/s13635-014-0013-5" @default.
- W2021190941 hasPublicationYear "2014" @default.
- W2021190941 type Work @default.
- W2021190941 sameAs 2021190941 @default.
- W2021190941 citedByCount "0" @default.
- W2021190941 crossrefType "journal-article" @default.
- W2021190941 hasAuthorship W2021190941A5019693953 @default.
- W2021190941 hasAuthorship W2021190941A5069737547 @default.
- W2021190941 hasAuthorship W2021190941A5074976207 @default.
- W2021190941 hasAuthorship W2021190941A5078156328 @default.
- W2021190941 hasBestOaLocation W20211909411 @default.
- W2021190941 hasConcept C111472728 @default.
- W2021190941 hasConcept C138885662 @default.
- W2021190941 hasConcept C153269930 @default.
- W2021190941 hasConcept C166957645 @default.
- W2021190941 hasConcept C177264268 @default.
- W2021190941 hasConcept C17744445 @default.
- W2021190941 hasConcept C199360897 @default.
- W2021190941 hasConcept C199539241 @default.
- W2021190941 hasConcept C22497172 @default.
- W2021190941 hasConcept C2776505523 @default.
- W2021190941 hasConcept C2778447849 @default.
- W2021190941 hasConcept C2779089604 @default.
- W2021190941 hasConcept C38652104 @default.
- W2021190941 hasConcept C41008148 @default.
- W2021190941 hasConcept C527821871 @default.
- W2021190941 hasConcept C6377922 @default.
- W2021190941 hasConcept C80444323 @default.
- W2021190941 hasConcept C95457728 @default.
- W2021190941 hasConceptScore W2021190941C111472728 @default.
- W2021190941 hasConceptScore W2021190941C138885662 @default.
- W2021190941 hasConceptScore W2021190941C153269930 @default.
- W2021190941 hasConceptScore W2021190941C166957645 @default.
- W2021190941 hasConceptScore W2021190941C177264268 @default.
- W2021190941 hasConceptScore W2021190941C17744445 @default.
- W2021190941 hasConceptScore W2021190941C199360897 @default.
- W2021190941 hasConceptScore W2021190941C199539241 @default.
- W2021190941 hasConceptScore W2021190941C22497172 @default.
- W2021190941 hasConceptScore W2021190941C2776505523 @default.
- W2021190941 hasConceptScore W2021190941C2778447849 @default.
- W2021190941 hasConceptScore W2021190941C2779089604 @default.
- W2021190941 hasConceptScore W2021190941C38652104 @default.
- W2021190941 hasConceptScore W2021190941C41008148 @default.
- W2021190941 hasConceptScore W2021190941C527821871 @default.
- W2021190941 hasConceptScore W2021190941C6377922 @default.
- W2021190941 hasConceptScore W2021190941C80444323 @default.
- W2021190941 hasConceptScore W2021190941C95457728 @default.
- W2021190941 hasIssue "1" @default.
- W2021190941 hasLocation W20211909411 @default.
- W2021190941 hasLocation W20211909412 @default.
- W2021190941 hasLocation W20211909413 @default.
- W2021190941 hasOpenAccess W2021190941 @default.
- W2021190941 hasPrimaryLocation W20211909411 @default.
- W2021190941 hasRelatedWork W1605133021 @default.
- W2021190941 hasRelatedWork W186850240 @default.
- W2021190941 hasRelatedWork W1893328537 @default.
- W2021190941 hasRelatedWork W2021190941 @default.
- W2021190941 hasRelatedWork W2079505451 @default.
- W2021190941 hasRelatedWork W2461272700 @default.
- W2021190941 hasRelatedWork W2782849461 @default.
- W2021190941 hasRelatedWork W2999037297 @default.
- W2021190941 hasRelatedWork W3124059091 @default.
- W2021190941 hasRelatedWork W2185311320 @default.
- W2021190941 hasVolume "2014" @default.
- W2021190941 isParatext "false" @default.
- W2021190941 isRetracted "false" @default.
- W2021190941 magId "2021190941" @default.
- W2021190941 workType "article" @default.