FRINK Linked Data Fragments server

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

• W1567790315 abstract "In a multi-protocol setting, different protocols are concurrentlyexecuted, and each principal can participate in more than one.The possibilities of attacks therefore increase, often due to the presenceof similar patterns in messages. Messages coming from one protocol canbe confused with similar messages coming from another protocol. As aconsequence, data of one type may be interpreted as data of another,and it is also possible that the type is the expected one, but the messageis addressed to another protocol. In this paper, we shall presentan extension of the LySa calculus [7, 4] that decorates encryption withtags including the protocol identifier, the protocol step identifier andthe intended types of the encrypted terms. The additional informationallows us to find the messages that can be confused and therefore tohave hints to reconstruct the attack. We extend accordingly the standardstatic Control Flow Analysis for LySa, which over-approximatesall the possible behaviour of the studied protocols, included the possiblemessage confusions that may occur at run-time. Our analysis has beenimplemented and successfully applied to small sets of protocols. In particular,we discovered an undocumented family of attacks, that may arisewhen Bauer-Berson-Feiertag and the Woo-Lam authentication protocolsare running in parallel. The implementation complexity of the analysisis low polynomial." @default.
• W1567790315 created "2016-06-24" @default.
• W1567790315 creator A5055365661 @default.
• W1567790315 creator A5058539845 @default.
• W1567790315 creator A5060034388 @default.
• W1567790315 creator A5074423047 @default.
• W1567790315 date "2008-01-01" @default.
• W1567790315 modified "2023-09-24" @default.
• W1567790315 title "Statically Detecting Message Confusions in a Multi-Protocol Setting" @default.
• W1567790315 cites W1512010809 @default.
• W1567790315 cites W1539907005 @default.
• W1567790315 cites W1551843303 @default.
• W1567790315 cites W1586636845 @default.
• W1567790315 cites W1586945915 @default.
• W1567790315 cites W1603799276 @default.
• W1567790315 cites W1603878273 @default.
• W1567790315 cites W1626825491 @default.
• W1567790315 cites W1681146363 @default.
• W1567790315 cites W1969090042 @default.
• W1567790315 cites W1991884788 @default.
• W1567790315 cites W1994676271 @default.
• W1567790315 cites W2001367673 @default.
• W1567790315 cites W2029693536 @default.
• W1567790315 cites W2097281599 @default.
• W1567790315 cites W2098830096 @default.
• W1567790315 cites W2117094531 @default.
• W1567790315 cites W2117966086 @default.
• W1567790315 cites W2124030056 @default.
• W1567790315 cites W2125894704 @default.
• W1567790315 cites W2132898941 @default.
• W1567790315 cites W2135758617 @default.
• W1567790315 cites W2141582971 @default.
• W1567790315 cites W2141624400 @default.
• W1567790315 cites W2146681155 @default.
• W1567790315 cites W2156867996 @default.
• W1567790315 cites W2163277844 @default.
• W1567790315 cites W2166863759 @default.
• W1567790315 cites W79383878 @default.
• W1567790315 hasPublicationYear "2008" @default.
• W1567790315 type Work @default.
• W1567790315 sameAs 1567790315 @default.
• W1567790315 citedByCount "1" @default.
• W1567790315 crossrefType "proceedings-article" @default.
• W1567790315 hasAuthorship W1567790315A5055365661 @default.
• W1567790315 hasAuthorship W1567790315A5058539845 @default.
• W1567790315 hasAuthorship W1567790315A5060034388 @default.
• W1567790315 hasAuthorship W1567790315A5074423047 @default.
• W1567790315 hasConcept C120314980 @default.
• W1567790315 hasConcept C142724271 @default.
• W1567790315 hasConcept C144559511 @default.
• W1567790315 hasConcept C148417208 @default.
• W1567790315 hasConcept C148730421 @default.
• W1567790315 hasConcept C154504017 @default.
• W1567790315 hasConcept C199360897 @default.
• W1567790315 hasConcept C204787440 @default.
• W1567790315 hasConcept C21564112 @default.
• W1567790315 hasConcept C2778029271 @default.
• W1567790315 hasConcept C2780385302 @default.
• W1567790315 hasConcept C31258907 @default.
• W1567790315 hasConcept C38652104 @default.
• W1567790315 hasConcept C41008148 @default.
• W1567790315 hasConcept C71924100 @default.
• W1567790315 hasConcept C80444323 @default.
• W1567790315 hasConceptScore W1567790315C120314980 @default.
• W1567790315 hasConceptScore W1567790315C142724271 @default.
• W1567790315 hasConceptScore W1567790315C144559511 @default.
• W1567790315 hasConceptScore W1567790315C148417208 @default.
• W1567790315 hasConceptScore W1567790315C148730421 @default.
• W1567790315 hasConceptScore W1567790315C154504017 @default.
• W1567790315 hasConceptScore W1567790315C199360897 @default.
• W1567790315 hasConceptScore W1567790315C204787440 @default.
• W1567790315 hasConceptScore W1567790315C21564112 @default.
• W1567790315 hasConceptScore W1567790315C2778029271 @default.
• W1567790315 hasConceptScore W1567790315C2780385302 @default.
• W1567790315 hasConceptScore W1567790315C31258907 @default.
• W1567790315 hasConceptScore W1567790315C38652104 @default.
• W1567790315 hasConceptScore W1567790315C41008148 @default.
• W1567790315 hasConceptScore W1567790315C71924100 @default.
• W1567790315 hasConceptScore W1567790315C80444323 @default.
• W1567790315 hasLocation W15677903151 @default.
• W1567790315 hasOpenAccess W1567790315 @default.
• W1567790315 hasPrimaryLocation W15677903151 @default.
• W1567790315 hasRelatedWork W1499015429 @default.
• W1567790315 hasRelatedWork W1501137158 @default.
• W1567790315 hasRelatedWork W1517334679 @default.
• W1567790315 hasRelatedWork W1540322376 @default.
• W1567790315 hasRelatedWork W1554139597 @default.
• W1567790315 hasRelatedWork W1555936145 @default.
• W1567790315 hasRelatedWork W1885651180 @default.
• W1567790315 hasRelatedWork W1965526712 @default.
• W1567790315 hasRelatedWork W2038094103 @default.
• W1567790315 hasRelatedWork W2055717171 @default.
• W1567790315 hasRelatedWork W2124030056 @default.
• W1567790315 hasRelatedWork W2146681155 @default.
• W1567790315 hasRelatedWork W2176316790 @default.
• W1567790315 hasRelatedWork W2176412652 @default.
• W1567790315 hasRelatedWork W2293633287 @default.
• W1567790315 hasRelatedWork W2359476527 @default.
• W1567790315 hasRelatedWork W2502550715 @default.
• W1567790315 hasRelatedWork W2585505216 @default.

• next