Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023117699> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2023117699 abstract "Constraints in access control models are used to organize access privileges in order to avoid fraudulent situations. Ensuring that the constraints are satisfied during the evolution of the system is an important issue. Thus, there is a need to have a formal reasoning language in order to express the constraints policy and to prove that the constraints are always satisfied. In this work, we propose a formal language based on the deontic logic of actions and situation calculus. The proposed language is easy to use to specify various constraints mentioned in the literature. In addition, we formally specify the condition to prove that the system specification is secure with respect to the access control requirements." @default.
- W2023117699 created "2016-06-24" @default.
- W2023117699 creator A5019693953 @default.
- W2023117699 creator A5069737547 @default.
- W2023117699 creator A5074976207 @default.
- W2023117699 creator A5078156328 @default.
- W2023117699 date "2014-07-01" @default.
- W2023117699 modified "2023-09-30" @default.
- W2023117699 title "Specifying and enforcing constraints in dynamic access control policies" @default.
- W2023117699 cites W1569731694 @default.
- W2023117699 cites W1572073643 @default.
- W2023117699 cites W1983792103 @default.
- W2023117699 cites W1992761401 @default.
- W2023117699 cites W2005473008 @default.
- W2023117699 cites W2021079739 @default.
- W2023117699 cites W2031606427 @default.
- W2023117699 cites W2038953226 @default.
- W2023117699 cites W2040023747 @default.
- W2023117699 cites W2046398106 @default.
- W2023117699 cites W2061212428 @default.
- W2023117699 cites W2100245805 @default.
- W2023117699 cites W2102048877 @default.
- W2023117699 cites W2119409989 @default.
- W2023117699 cites W2147203995 @default.
- W2023117699 cites W2154765153 @default.
- W2023117699 cites W39176274 @default.
- W2023117699 cites W2095881341 @default.
- W2023117699 doi "https://doi.org/10.1109/pst.2014.6890951" @default.
- W2023117699 hasPublicationYear "2014" @default.
- W2023117699 type Work @default.
- W2023117699 sameAs 2023117699 @default.
- W2023117699 citedByCount "2" @default.
- W2023117699 countsByYear W20231176992015 @default.
- W2023117699 countsByYear W20231176992020 @default.
- W2023117699 crossrefType "proceedings-article" @default.
- W2023117699 hasAuthorship W2023117699A5019693953 @default.
- W2023117699 hasAuthorship W2023117699A5069737547 @default.
- W2023117699 hasAuthorship W2023117699A5074976207 @default.
- W2023117699 hasAuthorship W2023117699A5078156328 @default.
- W2023117699 hasConcept C10138342 @default.
- W2023117699 hasConcept C111472728 @default.
- W2023117699 hasConcept C116253237 @default.
- W2023117699 hasConcept C138885662 @default.
- W2023117699 hasConcept C154945302 @default.
- W2023117699 hasConcept C162324750 @default.
- W2023117699 hasConcept C182306322 @default.
- W2023117699 hasConcept C199360897 @default.
- W2023117699 hasConcept C201677973 @default.
- W2023117699 hasConcept C22497172 @default.
- W2023117699 hasConcept C2775924081 @default.
- W2023117699 hasConcept C38652104 @default.
- W2023117699 hasConcept C41008148 @default.
- W2023117699 hasConcept C45567728 @default.
- W2023117699 hasConcept C4777664 @default.
- W2023117699 hasConcept C48814466 @default.
- W2023117699 hasConcept C527821871 @default.
- W2023117699 hasConcept C6377922 @default.
- W2023117699 hasConcept C75606506 @default.
- W2023117699 hasConcept C80444323 @default.
- W2023117699 hasConceptScore W2023117699C10138342 @default.
- W2023117699 hasConceptScore W2023117699C111472728 @default.
- W2023117699 hasConceptScore W2023117699C116253237 @default.
- W2023117699 hasConceptScore W2023117699C138885662 @default.
- W2023117699 hasConceptScore W2023117699C154945302 @default.
- W2023117699 hasConceptScore W2023117699C162324750 @default.
- W2023117699 hasConceptScore W2023117699C182306322 @default.
- W2023117699 hasConceptScore W2023117699C199360897 @default.
- W2023117699 hasConceptScore W2023117699C201677973 @default.
- W2023117699 hasConceptScore W2023117699C22497172 @default.
- W2023117699 hasConceptScore W2023117699C2775924081 @default.
- W2023117699 hasConceptScore W2023117699C38652104 @default.
- W2023117699 hasConceptScore W2023117699C41008148 @default.
- W2023117699 hasConceptScore W2023117699C45567728 @default.
- W2023117699 hasConceptScore W2023117699C4777664 @default.
- W2023117699 hasConceptScore W2023117699C48814466 @default.
- W2023117699 hasConceptScore W2023117699C527821871 @default.
- W2023117699 hasConceptScore W2023117699C6377922 @default.
- W2023117699 hasConceptScore W2023117699C75606506 @default.
- W2023117699 hasConceptScore W2023117699C80444323 @default.
- W2023117699 hasLocation W20231176991 @default.
- W2023117699 hasLocation W20231176992 @default.
- W2023117699 hasLocation W20231176993 @default.
- W2023117699 hasOpenAccess W2023117699 @default.
- W2023117699 hasPrimaryLocation W20231176991 @default.
- W2023117699 hasRelatedWork W1500211907 @default.
- W2023117699 hasRelatedWork W1916258710 @default.
- W2023117699 hasRelatedWork W1989021503 @default.
- W2023117699 hasRelatedWork W2023117699 @default.
- W2023117699 hasRelatedWork W2099374974 @default.
- W2023117699 hasRelatedWork W2119102056 @default.
- W2023117699 hasRelatedWork W2146042906 @default.
- W2023117699 hasRelatedWork W2368030112 @default.
- W2023117699 hasRelatedWork W3168724739 @default.
- W2023117699 hasRelatedWork W2166183181 @default.
- W2023117699 isParatext "false" @default.
- W2023117699 isRetracted "false" @default.
- W2023117699 magId "2023117699" @default.
- W2023117699 workType "article" @default.