FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4360999679> ?p ?o ?g. }

• W4360999679 endingPage "113842" @default.
• W4360999679 startingPage "113842" @default.
• W4360999679 abstract "We prove that three semantics for the applied π-calculus coincide – a testing semantics, a labelled equivalence, and a modal logic – and explain how design decisions in each of these semantics are objectively supported by this convergence. Each of these semantics has a distinct role when verifying security protocols. Testing semantics are suited to security and privacy problems expressed in terms of a process equivalence problem, where tests define the space of attack strategies. A labelled equivalence is suited to proving the given equivalence problem when such security and privacy properties hold; while, dually, the modal logic describes attacks when such security or privacy properties are violated. For this particular investigation into this good-practice design pattern, we select what is perhaps the most powerful (interleaving) testing semantics: open barbed bisimilarity. Selecting open barbed bisimilarity comes with the bonus that it is a congruence hence is suited to compositional reasoning. This reference testing semantics leads to a notion of quasi-open bisimilarity and an intuitionistic modal logic for the applied π-calculus. We argue that, since we characterise the finest (interleaving) testing semantics and tests are attack strategies, our intuitionistic modal logic can describe all attacks whenever a privacy property expressed as an equivalence problem fails." @default.
• W4360999679 created "2023-03-30" @default.
• W4360999679 creator A5010930512 @default.
• W4360999679 creator A5024602195 @default.
• W4360999679 creator A5087967629 @default.
• W4360999679 date "2023-05-01" @default.
• W4360999679 modified "2023-09-23" @default.
• W4360999679 title "When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus" @default.
• W4360999679 cites W1556831389 @default.
• W4360999679 cites W1605829531 @default.
• W4360999679 cites W1766510866 @default.
• W4360999679 cites W1969553191 @default.
• W4360999679 cites W1971588557 @default.
• W4360999679 cites W1975082667 @default.
• W4360999679 cites W1978469611 @default.
• W4360999679 cites W1984801861 @default.
• W4360999679 cites W2001997240 @default.
• W4360999679 cites W2002614013 @default.
• W4360999679 cites W2012270428 @default.
• W4360999679 cites W2027689693 @default.
• W4360999679 cites W2032234226 @default.
• W4360999679 cites W2033288425 @default.
• W4360999679 cites W2049924207 @default.
• W4360999679 cites W2055259417 @default.
• W4360999679 cites W2060349224 @default.
• W4360999679 cites W2063608931 @default.
• W4360999679 cites W2064744018 @default.
• W4360999679 cites W2088500281 @default.
• W4360999679 cites W2103263694 @default.
• W4360999679 cites W2106102830 @default.
• W4360999679 cites W2107144615 @default.
• W4360999679 cites W2118901376 @default.
• W4360999679 cites W2128932399 @default.
• W4360999679 cites W2128995870 @default.
• W4360999679 cites W2135333778 @default.
• W4360999679 cites W2167019232 @default.
• W4360999679 cites W2477375676 @default.
• W4360999679 cites W2521663436 @default.
• W4360999679 cites W2522035104 @default.
• W4360999679 cites W2544274814 @default.
• W4360999679 cites W2589748073 @default.
• W4360999679 cites W2609153124 @default.
• W4360999679 cites W2809678222 @default.
• W4360999679 cites W2914971001 @default.
• W4360999679 cites W4293453011 @default.
• W4360999679 doi "https://doi.org/10.1016/j.tcs.2023.113842" @default.
• W4360999679 hasPublicationYear "2023" @default.
• W4360999679 type Work @default.
• W4360999679 citedByCount "0" @default.
• W4360999679 crossrefType "journal-article" @default.
• W4360999679 hasAuthorship W4360999679A5010930512 @default.
• W4360999679 hasAuthorship W4360999679A5024602195 @default.
• W4360999679 hasAuthorship W4360999679A5087967629 @default.
• W4360999679 hasConcept C111919701 @default.
• W4360999679 hasConcept C11413529 @default.
• W4360999679 hasConcept C118615104 @default.
• W4360999679 hasConcept C135315306 @default.
• W4360999679 hasConcept C156325763 @default.
• W4360999679 hasConcept C161771561 @default.
• W4360999679 hasConcept C184337299 @default.
• W4360999679 hasConcept C185592680 @default.
• W4360999679 hasConcept C188027245 @default.
• W4360999679 hasConcept C199343813 @default.
• W4360999679 hasConcept C199360897 @default.
• W4360999679 hasConcept C27508121 @default.
• W4360999679 hasConcept C2777686260 @default.
• W4360999679 hasConcept C2780069185 @default.
• W4360999679 hasConcept C28034677 @default.
• W4360999679 hasConcept C33923547 @default.
• W4360999679 hasConcept C41008148 @default.
• W4360999679 hasConcept C70846408 @default.
• W4360999679 hasConcept C71139939 @default.
• W4360999679 hasConcept C71924100 @default.
• W4360999679 hasConcept C80444323 @default.
• W4360999679 hasConceptScore W4360999679C111919701 @default.
• W4360999679 hasConceptScore W4360999679C11413529 @default.
• W4360999679 hasConceptScore W4360999679C118615104 @default.
• W4360999679 hasConceptScore W4360999679C135315306 @default.
• W4360999679 hasConceptScore W4360999679C156325763 @default.
• W4360999679 hasConceptScore W4360999679C161771561 @default.
• W4360999679 hasConceptScore W4360999679C184337299 @default.
• W4360999679 hasConceptScore W4360999679C185592680 @default.
• W4360999679 hasConceptScore W4360999679C188027245 @default.
• W4360999679 hasConceptScore W4360999679C199343813 @default.
• W4360999679 hasConceptScore W4360999679C199360897 @default.
• W4360999679 hasConceptScore W4360999679C27508121 @default.
• W4360999679 hasConceptScore W4360999679C2777686260 @default.
• W4360999679 hasConceptScore W4360999679C2780069185 @default.
• W4360999679 hasConceptScore W4360999679C28034677 @default.
• W4360999679 hasConceptScore W4360999679C33923547 @default.
• W4360999679 hasConceptScore W4360999679C41008148 @default.
• W4360999679 hasConceptScore W4360999679C70846408 @default.
• W4360999679 hasConceptScore W4360999679C71139939 @default.
• W4360999679 hasConceptScore W4360999679C71924100 @default.
• W4360999679 hasConceptScore W4360999679C80444323 @default.
• W4360999679 hasFunder F4320321038 @default.
• W4360999679 hasLocation W43609996791 @default.
• W4360999679 hasOpenAccess W4360999679 @default.

• next