Matches in SemOpenAlex for { <https://semopenalex.org/work/W2885767691> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2885767691 abstract "There are several typing results that, for certain classes of protocols, show it is without loss of attacks to restrict the intruder to sending only well-typed messages. So far, all these typing results hold only for relatively simple protocols that do not keep a state beyond single sessions, excluding stateful protocols that, e.g., maintain long-term databases. Recently, several verification tools for stateful protocols have been proposed, e.g., Set-pi, AIF-omega, and SAPIC/Tamarin, but for none of these a typing result has been established. The main contribution of this paper is a typing result, for a large class of stateful protocols, based on a symbolic protocol model. We illustrate how to connect several formalisms for stateful protocols to this symbolic model. Finally, we discuss how the conditions of our typing result apply to existing protocols, or can be achieved by minor modifications." @default.
- W2885767691 created "2018-08-22" @default.
- W2885767691 creator A5041754592 @default.
- W2885767691 creator A5042573031 @default.
- W2885767691 date "2018-07-01" @default.
- W2885767691 modified "2023-10-18" @default.
- W2885767691 title "A Typing Result for Stateful Protocols" @default.
- W2885767691 cites W1505127333 @default.
- W2885767691 cites W1603921769 @default.
- W2885767691 cites W1648795825 @default.
- W2885767691 cites W2009426964 @default.
- W2885767691 cites W2027660602 @default.
- W2885767691 cites W2033327323 @default.
- W2885767691 cites W2035024861 @default.
- W2885767691 cites W2044073799 @default.
- W2885767691 cites W2097134979 @default.
- W2885767691 cites W2104655005 @default.
- W2885767691 cites W2126338744 @default.
- W2885767691 cites W2132544882 @default.
- W2885767691 cites W2147201643 @default.
- W2885767691 cites W2166327763 @default.
- W2885767691 cites W2477375676 @default.
- W2885767691 cites W3125672686 @default.
- W2885767691 cites W3162919972 @default.
- W2885767691 cites W359430047 @default.
- W2885767691 cites W4254044579 @default.
- W2885767691 doi "https://doi.org/10.1109/csf.2018.00034" @default.
- W2885767691 hasPublicationYear "2018" @default.
- W2885767691 type Work @default.
- W2885767691 sameAs 2885767691 @default.
- W2885767691 citedByCount "6" @default.
- W2885767691 countsByYear W28857676912018 @default.
- W2885767691 countsByYear W28857676912019 @default.
- W2885767691 countsByYear W28857676912020 @default.
- W2885767691 countsByYear W28857676912021 @default.
- W2885767691 crossrefType "proceedings-article" @default.
- W2885767691 hasAuthorship W2885767691A5041754592 @default.
- W2885767691 hasAuthorship W2885767691A5042573031 @default.
- W2885767691 hasConcept C142724271 @default.
- W2885767691 hasConcept C154945302 @default.
- W2885767691 hasConcept C158379750 @default.
- W2885767691 hasConcept C171018156 @default.
- W2885767691 hasConcept C199360897 @default.
- W2885767691 hasConcept C204787440 @default.
- W2885767691 hasConcept C22927095 @default.
- W2885767691 hasConcept C2524010 @default.
- W2885767691 hasConcept C2777212361 @default.
- W2885767691 hasConcept C2780385302 @default.
- W2885767691 hasConcept C2781209916 @default.
- W2885767691 hasConcept C28490314 @default.
- W2885767691 hasConcept C31258907 @default.
- W2885767691 hasConcept C33923547 @default.
- W2885767691 hasConcept C41008148 @default.
- W2885767691 hasConcept C71924100 @default.
- W2885767691 hasConcept C80444323 @default.
- W2885767691 hasConceptScore W2885767691C142724271 @default.
- W2885767691 hasConceptScore W2885767691C154945302 @default.
- W2885767691 hasConceptScore W2885767691C158379750 @default.
- W2885767691 hasConceptScore W2885767691C171018156 @default.
- W2885767691 hasConceptScore W2885767691C199360897 @default.
- W2885767691 hasConceptScore W2885767691C204787440 @default.
- W2885767691 hasConceptScore W2885767691C22927095 @default.
- W2885767691 hasConceptScore W2885767691C2524010 @default.
- W2885767691 hasConceptScore W2885767691C2777212361 @default.
- W2885767691 hasConceptScore W2885767691C2780385302 @default.
- W2885767691 hasConceptScore W2885767691C2781209916 @default.
- W2885767691 hasConceptScore W2885767691C28490314 @default.
- W2885767691 hasConceptScore W2885767691C31258907 @default.
- W2885767691 hasConceptScore W2885767691C33923547 @default.
- W2885767691 hasConceptScore W2885767691C41008148 @default.
- W2885767691 hasConceptScore W2885767691C71924100 @default.
- W2885767691 hasConceptScore W2885767691C80444323 @default.
- W2885767691 hasLocation W28857676911 @default.
- W2885767691 hasOpenAccess W2885767691 @default.
- W2885767691 hasPrimaryLocation W28857676911 @default.
- W2885767691 hasRelatedWork W2013111119 @default.
- W2885767691 hasRelatedWork W2047453222 @default.
- W2885767691 hasRelatedWork W2112962394 @default.
- W2885767691 hasRelatedWork W2118300983 @default.
- W2885767691 hasRelatedWork W2382501300 @default.
- W2885767691 hasRelatedWork W3137189469 @default.
- W2885767691 hasRelatedWork W3162240892 @default.
- W2885767691 hasRelatedWork W4235530921 @default.
- W2885767691 hasRelatedWork W4243252198 @default.
- W2885767691 hasRelatedWork W4245713008 @default.
- W2885767691 isParatext "false" @default.
- W2885767691 isRetracted "false" @default.
- W2885767691 magId "2885767691" @default.
- W2885767691 workType "article" @default.