FRINK Linked Data Fragments server

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

• W1570375803 abstract "In this paper, we introduce a mechanism that aims to speed up the development cycle of security protocols, by adding automated aid for diagnosis and repair. Our mechanism relies on existing verification tools analyzing intermediate protocols and synthesizing potential attacks if the protocol is flawed. The analysis of these attacks (including type flaw attacks) pinpoints the source of the failure and controls the synthesis of appropriate patches to the protocol. Using strand spaces, we have developed general guidelines for protocol repair, and captured them into formal requirements on (sets of) protocol steps. For each requirement, there is a collection of rules that transform a set of protocol steps violating the requirement into a set conforming it. We have implemented our mechanism into a tool, called SHRIMP. We have successfully tested SHRIMP on numerous faulty protocols, all of which were successfully repaired, fully automatically." @default.
• W1570375803 created "2016-06-24" @default.
• W1570375803 creator A5019184468 @default.
• W1570375803 creator A5045469910 @default.
• W1570375803 date "2013-08-08" @default.
• W1570375803 modified "2023-10-01" @default.
• W1570375803 title "Strand-Based Approach to Patch Security Protocols" @default.
• W1570375803 cites W1490705928 @default.
• W1570375803 cites W1499934958 @default.
• W1570375803 cites W1511774436 @default.
• W1570375803 cites W1518776743 @default.
• W1570375803 cites W1554139597 @default.
• W1570375803 cites W1555936145 @default.
• W1570375803 cites W1572409618 @default.
• W1570375803 cites W1595799540 @default.
• W1570375803 cites W1596447773 @default.
• W1570375803 cites W1601458649 @default.
• W1570375803 cites W1773918176 @default.
• W1570375803 cites W1973953888 @default.
• W1570375803 cites W1991884788 @default.
• W1570375803 cites W2007909731 @default.
• W1570375803 cites W2029693536 @default.
• W1570375803 cites W2031354738 @default.
• W1570375803 cites W2092503472 @default.
• W1570375803 cites W2097913369 @default.
• W1570375803 cites W2104655005 @default.
• W1570375803 cites W2109952796 @default.
• W1570375803 cites W2113429604 @default.
• W1570375803 cites W2114189125 @default.
• W1570375803 cites W2117064875 @default.
• W1570375803 cites W2124030056 @default.
• W1570375803 cites W2132544882 @default.
• W1570375803 cites W2132898941 @default.
• W1570375803 cites W2135089787 @default.
• W1570375803 cites W2150426251 @default.
• W1570375803 cites W2157278388 @default.
• W1570375803 cites W2162325770 @default.
• W1570375803 cites W2163277844 @default.
• W1570375803 cites W2166027506 @default.
• W1570375803 cites W2175661655 @default.
• W1570375803 cites W79383878 @default.
• W1570375803 cites W1811341931 @default.
• W1570375803 hasPublicationYear "2013" @default.
• W1570375803 type Work @default.
• W1570375803 sameAs 1570375803 @default.
• W1570375803 citedByCount "0" @default.
• W1570375803 crossrefType "posted-content" @default.
• W1570375803 hasAuthorship W1570375803A5019184468 @default.
• W1570375803 hasAuthorship W1570375803A5045469910 @default.
• W1570375803 hasConcept C111472728 @default.
• W1570375803 hasConcept C138885662 @default.
• W1570375803 hasConcept C142724271 @default.
• W1570375803 hasConcept C177264268 @default.
• W1570375803 hasConcept C178489894 @default.
• W1570375803 hasConcept C199360897 @default.
• W1570375803 hasConcept C204787440 @default.
• W1570375803 hasConcept C2780385302 @default.
• W1570375803 hasConcept C33884865 @default.
• W1570375803 hasConcept C38652104 @default.
• W1570375803 hasConcept C41008148 @default.
• W1570375803 hasConcept C71924100 @default.
• W1570375803 hasConcept C89611455 @default.
• W1570375803 hasConceptScore W1570375803C111472728 @default.
• W1570375803 hasConceptScore W1570375803C138885662 @default.
• W1570375803 hasConceptScore W1570375803C142724271 @default.
• W1570375803 hasConceptScore W1570375803C177264268 @default.
• W1570375803 hasConceptScore W1570375803C178489894 @default.
• W1570375803 hasConceptScore W1570375803C199360897 @default.
• W1570375803 hasConceptScore W1570375803C204787440 @default.
• W1570375803 hasConceptScore W1570375803C2780385302 @default.
• W1570375803 hasConceptScore W1570375803C33884865 @default.
• W1570375803 hasConceptScore W1570375803C38652104 @default.
• W1570375803 hasConceptScore W1570375803C41008148 @default.
• W1570375803 hasConceptScore W1570375803C71924100 @default.
• W1570375803 hasConceptScore W1570375803C89611455 @default.
• W1570375803 hasLocation W15703758031 @default.
• W1570375803 hasOpenAccess W1570375803 @default.
• W1570375803 hasPrimaryLocation W15703758031 @default.
• W1570375803 hasRelatedWork W167431814 @default.
• W1570375803 hasRelatedWork W1967193464 @default.
• W1570375803 hasRelatedWork W1967552493 @default.
• W1570375803 hasRelatedWork W1971803619 @default.
• W1570375803 hasRelatedWork W2006944732 @default.
• W1570375803 hasRelatedWork W2035165146 @default.
• W1570375803 hasRelatedWork W2042147610 @default.
• W1570375803 hasRelatedWork W2098246374 @default.
• W1570375803 hasRelatedWork W2113429604 @default.
• W1570375803 hasRelatedWork W2119081540 @default.
• W1570375803 hasRelatedWork W2332831973 @default.
• W1570375803 hasRelatedWork W2365700161 @default.
• W1570375803 hasRelatedWork W2366816244 @default.
• W1570375803 hasRelatedWork W2370637474 @default.
• W1570375803 hasRelatedWork W2381527408 @default.
• W1570375803 hasRelatedWork W2514462612 @default.
• W1570375803 hasRelatedWork W2546506075 @default.
• W1570375803 hasRelatedWork W2810104821 @default.
• W1570375803 hasRelatedWork W69261358 @default.
• W1570375803 hasRelatedWork W1496873666 @default.
• W1570375803 isParatext "false" @default.
• W1570375803 isRetracted "false" @default.

• next