FRINK Linked Data Fragments server

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

• W2621549133 endingPage "510" @default.
• W2621549133 startingPage "463" @default.
• W2621549133 abstract "Interpolation has been successfully applied in formal methods for model checking and test-case generation for sequential programs. Security protocols, however, exhibit idiosyncrasies that make them unsuitable for the direct application of interpolation. We address this problem and present an interp olation-based method for security protocol verification. Our method starts from a protocol specification and combines Craig interpolation, symbolic execution and the standard Dolev–Yao intruder model to search for possible attacks on the protocol. Interpolants are generated as a response to search failure in order to prune possible useless traces and speed up the exploration. We illustrate our method by means of concrete examples and discuss the results obtained by using a prototype implementation." @default.
• W2621549133 created "2017-06-15" @default.
• W2621549133 creator A5017237200 @default.
• W2621549133 creator A5028009721 @default.
• W2621549133 creator A5034051136 @default.
• W2621549133 date "2017-08-24" @default.
• W2621549133 modified "2023-09-27" @default.
• W2621549133 title "An interpolation-based method for the verification of security protocols" @default.
• W2621549133 cites W1480909796 @default.
• W2621549133 cites W1488313539 @default.
• W2621549133 cites W1536580911 @default.
• W2621549133 cites W1538882499 @default.
• W2621549133 cites W1541087836 @default.
• W2621549133 cites W1565898282 @default.
• W2621549133 cites W1573295900 @default.
• W2621549133 cites W1586497944 @default.
• W2621549133 cites W1598111807 @default.
• W2621549133 cites W1603878273 @default.
• W2621549133 cites W1782799247 @default.
• W2621549133 cites W1795549172 @default.
• W2621549133 cites W1928820179 @default.
• W2621549133 cites W1967762279 @default.
• W2621549133 cites W2009426964 @default.
• W2621549133 cites W2024761866 @default.
• W2621549133 cites W2029693536 @default.
• W2621549133 cites W2066904164 @default.
• W2621549133 cites W2081830543 @default.
• W2621549133 cites W2084294613 @default.
• W2621549133 cites W2101512909 @default.
• W2621549133 cites W2114633883 @default.
• W2621549133 cites W2117064875 @default.
• W2621549133 cites W2121845793 @default.
• W2621549133 cites W2132544882 @default.
• W2621549133 cites W2154173307 @default.
• W2621549133 cites W2155032609 @default.
• W2621549133 cites W2162325770 @default.
• W2621549133 cites W41781759 @default.
• W2621549133 cites W4236684541 @default.
• W2621549133 cites W4249903311 @default.
• W2621549133 cites W50729311 @default.
• W2621549133 cites W647742179 @default.
• W2621549133 doi "https://doi.org/10.3233/jcs-16832" @default.
• W2621549133 hasPublicationYear "2017" @default.
• W2621549133 type Work @default.
• W2621549133 sameAs 2621549133 @default.
• W2621549133 citedByCount "1" @default.
• W2621549133 countsByYear W26215491332020 @default.
• W2621549133 crossrefType "journal-article" @default.
• W2621549133 hasAuthorship W2621549133A5017237200 @default.
• W2621549133 hasAuthorship W2621549133A5028009721 @default.
• W2621549133 hasAuthorship W2621549133A5034051136 @default.
• W2621549133 hasBestOaLocation W26215491332 @default.
• W2621549133 hasConcept C110251889 @default.
• W2621549133 hasConcept C111498074 @default.
• W2621549133 hasConcept C11413529 @default.
• W2621549133 hasConcept C115961682 @default.
• W2621549133 hasConcept C137800194 @default.
• W2621549133 hasConcept C142724271 @default.
• W2621549133 hasConcept C154945302 @default.
• W2621549133 hasConcept C178489894 @default.
• W2621549133 hasConcept C199360897 @default.
• W2621549133 hasConcept C204787440 @default.
• W2621549133 hasConcept C2780385302 @default.
• W2621549133 hasConcept C33884865 @default.
• W2621549133 hasConcept C41008148 @default.
• W2621549133 hasConcept C71924100 @default.
• W2621549133 hasConcept C75606506 @default.
• W2621549133 hasConcept C80444323 @default.
• W2621549133 hasConceptScore W2621549133C110251889 @default.
• W2621549133 hasConceptScore W2621549133C111498074 @default.
• W2621549133 hasConceptScore W2621549133C11413529 @default.
• W2621549133 hasConceptScore W2621549133C115961682 @default.
• W2621549133 hasConceptScore W2621549133C137800194 @default.
• W2621549133 hasConceptScore W2621549133C142724271 @default.
• W2621549133 hasConceptScore W2621549133C154945302 @default.
• W2621549133 hasConceptScore W2621549133C178489894 @default.
• W2621549133 hasConceptScore W2621549133C199360897 @default.
• W2621549133 hasConceptScore W2621549133C204787440 @default.
• W2621549133 hasConceptScore W2621549133C2780385302 @default.
• W2621549133 hasConceptScore W2621549133C33884865 @default.
• W2621549133 hasConceptScore W2621549133C41008148 @default.
• W2621549133 hasConceptScore W2621549133C71924100 @default.
• W2621549133 hasConceptScore W2621549133C75606506 @default.
• W2621549133 hasConceptScore W2621549133C80444323 @default.
• W2621549133 hasIssue "6" @default.
• W2621549133 hasLocation W26215491331 @default.
• W2621549133 hasLocation W26215491332 @default.
• W2621549133 hasLocation W26215491333 @default.
• W2621549133 hasLocation W26215491334 @default.
• W2621549133 hasLocation W26215491335 @default.
• W2621549133 hasLocation W26215491336 @default.
• W2621549133 hasOpenAccess W2621549133 @default.
• W2621549133 hasPrimaryLocation W26215491331 @default.
• W2621549133 hasRelatedWork W1024627881 @default.
• W2621549133 hasRelatedWork W2046905069 @default.
• W2621549133 hasRelatedWork W2085691404 @default.
• W2621549133 hasRelatedWork W2117798332 @default.
• W2621549133 hasRelatedWork W2155162307 @default.

• next