Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520370571> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1520370571 abstract "Cryptographic protocols are the cornerstone of security in distributed systems. The formal analysis of their properties is accordingly one of the focus points of the security community, and is usually split among two groups. In the first group, one focuses on trace-based security properties such as confidentiality and authentication, and provides decision procedures for the existence of attacks for an on-line attackers. In the second group, one focuses on equivalence properties such as privacy and guessing attacks, and provides decision procedures for the existence of attacks for an offline attacker. In all cases the attacker is modeled by a deduction system in which his possible actions are expressed. We present in this paper a notion of finitary deduction systems that aims at relating both approaches. We prove that for such deduction systems, deciding equivalence properties for on-line attackers can be reduced to deciding reachability properties in the same setting." @default.
- W1520370571 created "2016-06-24" @default.
- W1520370571 creator A5076479770 @default.
- W1520370571 date "2011-05-06" @default.
- W1520370571 modified "2023-10-03" @default.
- W1520370571 title "Finitary Deduction Systems" @default.
- W1520370571 cites W1530441764 @default.
- W1520370571 cites W1535988411 @default.
- W1520370571 cites W1542190420 @default.
- W1520370571 cites W1571378841 @default.
- W1520370571 cites W1659590774 @default.
- W1520370571 cites W1813607262 @default.
- W1520370571 cites W1965890562 @default.
- W1520370571 cites W1994676271 @default.
- W1520370571 cites W1996497395 @default.
- W1520370571 cites W2029693536 @default.
- W1520370571 cites W2030265421 @default.
- W1520370571 cites W2042609207 @default.
- W1520370571 cites W2053895806 @default.
- W1520370571 cites W2100738443 @default.
- W1520370571 cites W2104270509 @default.
- W1520370571 cites W2106229972 @default.
- W1520370571 cites W2121845793 @default.
- W1520370571 cites W2130899669 @default.
- W1520370571 cites W2132544882 @default.
- W1520370571 cites W2153921791 @default.
- W1520370571 cites W2162325770 @default.
- W1520370571 cites W2912818154 @default.
- W1520370571 cites W3013607954 @default.
- W1520370571 cites W3021065823 @default.
- W1520370571 hasPublicationYear "2011" @default.
- W1520370571 type Work @default.
- W1520370571 sameAs 1520370571 @default.
- W1520370571 citedByCount "1" @default.
- W1520370571 countsByYear W15203705712020 @default.
- W1520370571 crossrefType "report" @default.
- W1520370571 hasAuthorship W1520370571A5076479770 @default.
- W1520370571 hasBestOaLocation W15203705711 @default.
- W1520370571 hasConcept C118615104 @default.
- W1520370571 hasConcept C199360897 @default.
- W1520370571 hasConcept C2778003309 @default.
- W1520370571 hasConcept C33923547 @default.
- W1520370571 hasConcept C41008148 @default.
- W1520370571 hasConceptScore W1520370571C118615104 @default.
- W1520370571 hasConceptScore W1520370571C199360897 @default.
- W1520370571 hasConceptScore W1520370571C2778003309 @default.
- W1520370571 hasConceptScore W1520370571C33923547 @default.
- W1520370571 hasConceptScore W1520370571C41008148 @default.
- W1520370571 hasLocation W15203705711 @default.
- W1520370571 hasLocation W15203705712 @default.
- W1520370571 hasLocation W15203705713 @default.
- W1520370571 hasLocation W15203705714 @default.
- W1520370571 hasLocation W15203705715 @default.
- W1520370571 hasLocation W15203705716 @default.
- W1520370571 hasLocation W15203705717 @default.
- W1520370571 hasOpenAccess W1520370571 @default.
- W1520370571 hasPrimaryLocation W15203705711 @default.
- W1520370571 hasRelatedWork W2013111119 @default.
- W1520370571 hasRelatedWork W2047793074 @default.
- W1520370571 hasRelatedWork W2112962394 @default.
- W1520370571 hasRelatedWork W2118300983 @default.
- W1520370571 hasRelatedWork W2382501300 @default.
- W1520370571 hasRelatedWork W3137189469 @default.
- W1520370571 hasRelatedWork W3162240892 @default.
- W1520370571 hasRelatedWork W4235530921 @default.
- W1520370571 hasRelatedWork W4243252198 @default.
- W1520370571 hasRelatedWork W4245713008 @default.
- W1520370571 isParatext "false" @default.
- W1520370571 isRetracted "false" @default.
- W1520370571 magId "1520370571" @default.
- W1520370571 workType "report" @default.