Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899477473> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2899477473 abstract "Violations of the privacy of users can happen if data protection is not a fundamental part of the development process of a software system. The principle of Privacy by Design (PbD) therefore stipulates the consideration of privacy as a default feature. We have developed an integrated tool environment called CAPVerDE that provides a formal description language of software architectures and helps a designer by automatically verifying data minimization properties at the architectural level. Our logic includes probabilistic properties that introduce uncer- tainty into the architectures. These properties can be used to model attack scenarios that rely on chance. This paper presents the logic of the description language of CAPVerDE and illustrates the verification process by applying it to a smart energy metering scenario." @default.
- W2899477473 created "2018-11-09" @default.
- W2899477473 creator A5038706238 @default.
- W2899477473 creator A5078142408 @default.
- W2899477473 creator A5078595852 @default.
- W2899477473 date "2018-08-01" @default.
- W2899477473 modified "2023-09-27" @default.
- W2899477473 title "Privacy-Preserving Architectures with Probabilistic Guaranties" @default.
- W2899477473 cites W1001611200 @default.
- W2899477473 cites W1645519945 @default.
- W2899477473 cites W1887093900 @default.
- W2899477473 cites W1952161176 @default.
- W2899477473 cites W1975153313 @default.
- W2899477473 cites W1993673439 @default.
- W2899477473 cites W2005541978 @default.
- W2899477473 cites W2027193703 @default.
- W2899477473 cites W2037937187 @default.
- W2899477473 cites W2052544413 @default.
- W2899477473 cites W2066266646 @default.
- W2899477473 cites W2072341937 @default.
- W2899477473 cites W2097061283 @default.
- W2899477473 cites W2098251894 @default.
- W2899477473 cites W2114189125 @default.
- W2899477473 cites W2124522379 @default.
- W2899477473 cites W2142640811 @default.
- W2899477473 cites W2155556726 @default.
- W2899477473 cites W2158017842 @default.
- W2899477473 cites W2164222678 @default.
- W2899477473 cites W2261369574 @default.
- W2899477473 cites W67225980 @default.
- W2899477473 doi "https://doi.org/10.1109/pst.2018.8514160" @default.
- W2899477473 hasPublicationYear "2018" @default.
- W2899477473 type Work @default.
- W2899477473 sameAs 2899477473 @default.
- W2899477473 citedByCount "3" @default.
- W2899477473 countsByYear W28994774732019 @default.
- W2899477473 countsByYear W28994774732020 @default.
- W2899477473 crossrefType "proceedings-article" @default.
- W2899477473 hasAuthorship W2899477473A5038706238 @default.
- W2899477473 hasAuthorship W2899477473A5078142408 @default.
- W2899477473 hasAuthorship W2899477473A5078595852 @default.
- W2899477473 hasConcept C115903868 @default.
- W2899477473 hasConcept C138885662 @default.
- W2899477473 hasConcept C154945302 @default.
- W2899477473 hasConcept C199360897 @default.
- W2899477473 hasConcept C2776401178 @default.
- W2899477473 hasConcept C2777904410 @default.
- W2899477473 hasConcept C41008148 @default.
- W2899477473 hasConcept C41895202 @default.
- W2899477473 hasConcept C49937458 @default.
- W2899477473 hasConcept C98045186 @default.
- W2899477473 hasConceptScore W2899477473C115903868 @default.
- W2899477473 hasConceptScore W2899477473C138885662 @default.
- W2899477473 hasConceptScore W2899477473C154945302 @default.
- W2899477473 hasConceptScore W2899477473C199360897 @default.
- W2899477473 hasConceptScore W2899477473C2776401178 @default.
- W2899477473 hasConceptScore W2899477473C2777904410 @default.
- W2899477473 hasConceptScore W2899477473C41008148 @default.
- W2899477473 hasConceptScore W2899477473C41895202 @default.
- W2899477473 hasConceptScore W2899477473C49937458 @default.
- W2899477473 hasConceptScore W2899477473C98045186 @default.
- W2899477473 hasLocation W28994774731 @default.
- W2899477473 hasOpenAccess W2899477473 @default.
- W2899477473 hasPrimaryLocation W28994774731 @default.
- W2899477473 hasRelatedWork W1964582004 @default.
- W2899477473 hasRelatedWork W1991242868 @default.
- W2899477473 hasRelatedWork W2045393060 @default.
- W2899477473 hasRelatedWork W2056758037 @default.
- W2899477473 hasRelatedWork W2348531541 @default.
- W2899477473 hasRelatedWork W2349359195 @default.
- W2899477473 hasRelatedWork W2385431278 @default.
- W2899477473 hasRelatedWork W2901485761 @default.
- W2899477473 hasRelatedWork W4290792893 @default.
- W2899477473 hasRelatedWork W2012842278 @default.
- W2899477473 isParatext "false" @default.
- W2899477473 isRetracted "false" @default.
- W2899477473 magId "2899477473" @default.
- W2899477473 workType "article" @default.