Matches in SemOpenAlex for { <https://semopenalex.org/work/W2475246290> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2475246290 abstract "Formally specifying privacy goals is not trivial. The most widely used approach in formal methods is based on the static equiv- alence of frames in the applied pi-calculus, basically asking whether or not the intruder is able to distinguish two given worlds. A subtle ques- tion is how we can be sure that we have specified all pairs of worlds to properly reflect our intuitive privacy goal. To address this problem, we introduce in this paper a novel and declarative way to specify privacy goals, called α-β privacy, and relate it to static equivalence. This new approach is based on specifying two formulae α and β in first-order logic with Herbrand universes, where α reflects the intentionally released infor- mation and β includes the actual cryptographic (technical) messages the intruder can see. Then α-β privacy means that the intruder cannot derive any non-technical statement from β that he cannot derive from α already. We describe by a variety of examples how this notion can be used in practice. Even though α-β privacy does not directly contain a notion of distinguishing between worlds, there is a close relationship to static equivalence of frames that we investigate formally. This allows us to justify (and criticize) the specifications that are currently used in verification tools, and obtain partial tool support for α-β privacy." @default.
- W2475246290 created "2016-07-22" @default.
- W2475246290 creator A5006479906 @default.
- W2475246290 date "2013-01-01" @default.
- W2475246290 modified "2023-09-23" @default.
- W2475246290 title "Defining Privacy Is Supposed to Be Easy" @default.
- W2475246290 cites W1571999050 @default.
- W2475246290 cites W1924203876 @default.
- W2475246290 cites W1973054120 @default.
- W2475246290 cites W2029693536 @default.
- W2475246290 cites W2055259417 @default.
- W2475246290 cites W2100824083 @default.
- W2475246290 cites W2109426455 @default.
- W2475246290 cites W2114189125 @default.
- W2475246290 cites W2117684745 @default.
- W2475246290 cites W2124522379 @default.
- W2475246290 cites W2159024459 @default.
- W2475246290 cites W2162785273 @default.
- W2475246290 cites W2911663730 @default.
- W2475246290 hasPublicationYear "2013" @default.
- W2475246290 type Work @default.
- W2475246290 sameAs 2475246290 @default.
- W2475246290 citedByCount "0" @default.
- W2475246290 crossrefType "journal-article" @default.
- W2475246290 hasAuthorship W2475246290A5006479906 @default.
- W2475246290 hasConcept C111472728 @default.
- W2475246290 hasConcept C118615104 @default.
- W2475246290 hasConcept C123201435 @default.
- W2475246290 hasConcept C136172866 @default.
- W2475246290 hasConcept C136197465 @default.
- W2475246290 hasConcept C138885662 @default.
- W2475246290 hasConcept C154945302 @default.
- W2475246290 hasConcept C178489894 @default.
- W2475246290 hasConcept C2777026412 @default.
- W2475246290 hasConcept C2780069185 @default.
- W2475246290 hasConcept C33923547 @default.
- W2475246290 hasConcept C38652104 @default.
- W2475246290 hasConcept C41008148 @default.
- W2475246290 hasConcept C70846408 @default.
- W2475246290 hasConcept C80444323 @default.
- W2475246290 hasConceptScore W2475246290C111472728 @default.
- W2475246290 hasConceptScore W2475246290C118615104 @default.
- W2475246290 hasConceptScore W2475246290C123201435 @default.
- W2475246290 hasConceptScore W2475246290C136172866 @default.
- W2475246290 hasConceptScore W2475246290C136197465 @default.
- W2475246290 hasConceptScore W2475246290C138885662 @default.
- W2475246290 hasConceptScore W2475246290C154945302 @default.
- W2475246290 hasConceptScore W2475246290C178489894 @default.
- W2475246290 hasConceptScore W2475246290C2777026412 @default.
- W2475246290 hasConceptScore W2475246290C2780069185 @default.
- W2475246290 hasConceptScore W2475246290C33923547 @default.
- W2475246290 hasConceptScore W2475246290C38652104 @default.
- W2475246290 hasConceptScore W2475246290C41008148 @default.
- W2475246290 hasConceptScore W2475246290C70846408 @default.
- W2475246290 hasConceptScore W2475246290C80444323 @default.
- W2475246290 hasLocation W24752462901 @default.
- W2475246290 hasOpenAccess W2475246290 @default.
- W2475246290 hasPrimaryLocation W24752462901 @default.
- W2475246290 hasRelatedWork W1024627881 @default.
- W2475246290 hasRelatedWork W1793910908 @default.
- W2475246290 hasRelatedWork W1798924124 @default.
- W2475246290 hasRelatedWork W1839044391 @default.
- W2475246290 hasRelatedWork W1848801916 @default.
- W2475246290 hasRelatedWork W2059054636 @default.
- W2475246290 hasRelatedWork W2103865407 @default.
- W2475246290 hasRelatedWork W2127328931 @default.
- W2475246290 hasRelatedWork W2232281146 @default.
- W2475246290 hasRelatedWork W2310364824 @default.
- W2475246290 hasRelatedWork W2500043887 @default.
- W2475246290 hasRelatedWork W2544150737 @default.
- W2475246290 hasRelatedWork W2624178225 @default.
- W2475246290 hasRelatedWork W26496829 @default.
- W2475246290 hasRelatedWork W2797575587 @default.
- W2475246290 hasRelatedWork W2903983570 @default.
- W2475246290 hasRelatedWork W2943173597 @default.
- W2475246290 hasRelatedWork W3022774529 @default.
- W2475246290 hasRelatedWork W3102349219 @default.
- W2475246290 hasRelatedWork W609809028 @default.
- W2475246290 isParatext "false" @default.
- W2475246290 isRetracted "false" @default.
- W2475246290 magId "2475246290" @default.
- W2475246290 workType "article" @default.