Matches in SemOpenAlex for { <https://semopenalex.org/work/W1517772571> ?p ?o ?g. }
- W1517772571 endingPage "213" @default.
- W1517772571 startingPage "196" @default.
- W1517772571 abstract "Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defined in terms of permitted and obligatory knowledge. With this new approach, we do not have to specify the permissions and prohibitions of all message combinations explicitly. To specify and reason about such privacy policies, we extend a multi-modal logic introduced by Cuppens and Demolombe with update operators modeling the dynamics of both knowledge and privacy policies. We show also how to determine the obligatory messages, how to express epistemic norms, and how to check whether a situation is compliant with respect to a privacy policy.We axiomatize and prove the decidability of our logic." @default.
- W1517772571 created "2016-06-24" @default.
- W1517772571 creator A5021761313 @default.
- W1517772571 creator A5026412815 @default.
- W1517772571 creator A5034537294 @default.
- W1517772571 date "2010-01-01" @default.
- W1517772571 modified "2023-09-26" @default.
- W1517772571 title "Privacy Policies with Modal Logic: The Dynamic Turn" @default.
- W1517772571 cites W1552041750 @default.
- W1517772571 cites W1593628007 @default.
- W1517772571 cites W1903917666 @default.
- W1517772571 cites W1993770103 @default.
- W1517772571 cites W2021916230 @default.
- W1517772571 cites W2105401205 @default.
- W1517772571 cites W2108571995 @default.
- W1517772571 cites W2119558232 @default.
- W1517772571 cites W2128755207 @default.
- W1517772571 cites W2131178253 @default.
- W1517772571 cites W2149420462 @default.
- W1517772571 cites W2153637720 @default.
- W1517772571 cites W2159131252 @default.
- W1517772571 cites W2167501322 @default.
- W1517772571 cites W2331711446 @default.
- W1517772571 cites W4211144022 @default.
- W1517772571 cites W2125659416 @default.
- W1517772571 doi "https://doi.org/10.1007/978-3-642-14183-6_15" @default.
- W1517772571 hasPublicationYear "2010" @default.
- W1517772571 type Work @default.
- W1517772571 sameAs 1517772571 @default.
- W1517772571 citedByCount "15" @default.
- W1517772571 countsByYear W15177725712012 @default.
- W1517772571 countsByYear W15177725712013 @default.
- W1517772571 countsByYear W15177725712014 @default.
- W1517772571 countsByYear W15177725712015 @default.
- W1517772571 countsByYear W15177725712016 @default.
- W1517772571 countsByYear W15177725712019 @default.
- W1517772571 countsByYear W15177725712020 @default.
- W1517772571 crossrefType "book-chapter" @default.
- W1517772571 hasAuthorship W1517772571A5021761313 @default.
- W1517772571 hasAuthorship W1517772571A5026412815 @default.
- W1517772571 hasAuthorship W1517772571A5034537294 @default.
- W1517772571 hasBestOaLocation W15177725712 @default.
- W1517772571 hasConcept C102938260 @default.
- W1517772571 hasConcept C102993220 @default.
- W1517772571 hasConcept C107247716 @default.
- W1517772571 hasConcept C121332964 @default.
- W1517772571 hasConcept C123201435 @default.
- W1517772571 hasConcept C153269930 @default.
- W1517772571 hasConcept C165801399 @default.
- W1517772571 hasConcept C172385210 @default.
- W1517772571 hasConcept C185592680 @default.
- W1517772571 hasConcept C188027245 @default.
- W1517772571 hasConcept C203659156 @default.
- W1517772571 hasConcept C25016198 @default.
- W1517772571 hasConcept C27508121 @default.
- W1517772571 hasConcept C2777796570 @default.
- W1517772571 hasConcept C38652104 @default.
- W1517772571 hasConcept C41008148 @default.
- W1517772571 hasConcept C62520636 @default.
- W1517772571 hasConcept C71139939 @default.
- W1517772571 hasConcept C80444323 @default.
- W1517772571 hasConceptScore W1517772571C102938260 @default.
- W1517772571 hasConceptScore W1517772571C102993220 @default.
- W1517772571 hasConceptScore W1517772571C107247716 @default.
- W1517772571 hasConceptScore W1517772571C121332964 @default.
- W1517772571 hasConceptScore W1517772571C123201435 @default.
- W1517772571 hasConceptScore W1517772571C153269930 @default.
- W1517772571 hasConceptScore W1517772571C165801399 @default.
- W1517772571 hasConceptScore W1517772571C172385210 @default.
- W1517772571 hasConceptScore W1517772571C185592680 @default.
- W1517772571 hasConceptScore W1517772571C188027245 @default.
- W1517772571 hasConceptScore W1517772571C203659156 @default.
- W1517772571 hasConceptScore W1517772571C25016198 @default.
- W1517772571 hasConceptScore W1517772571C27508121 @default.
- W1517772571 hasConceptScore W1517772571C2777796570 @default.
- W1517772571 hasConceptScore W1517772571C38652104 @default.
- W1517772571 hasConceptScore W1517772571C41008148 @default.
- W1517772571 hasConceptScore W1517772571C62520636 @default.
- W1517772571 hasConceptScore W1517772571C71139939 @default.
- W1517772571 hasConceptScore W1517772571C80444323 @default.
- W1517772571 hasLocation W15177725711 @default.
- W1517772571 hasLocation W15177725712 @default.
- W1517772571 hasLocation W15177725713 @default.
- W1517772571 hasLocation W15177725714 @default.
- W1517772571 hasLocation W15177725715 @default.
- W1517772571 hasOpenAccess W1517772571 @default.
- W1517772571 hasPrimaryLocation W15177725711 @default.
- W1517772571 hasRelatedWork W1517772571 @default.
- W1517772571 hasRelatedWork W1544043550 @default.
- W1517772571 hasRelatedWork W1545134309 @default.
- W1517772571 hasRelatedWork W2060240207 @default.
- W1517772571 hasRelatedWork W2101793126 @default.
- W1517772571 hasRelatedWork W2136853317 @default.
- W1517772571 hasRelatedWork W2155586249 @default.
- W1517772571 hasRelatedWork W2156146240 @default.
- W1517772571 hasRelatedWork W2800779560 @default.
- W1517772571 hasRelatedWork W30230307 @default.
- W1517772571 isParatext "false" @default.