FRINK Linked Data Fragments server

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

• W3022140103 endingPage "157" @default.
• W3022140103 startingPage "130" @default.
• W3022140103 abstract "Today’s software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attacks and general robustness. However, the software that implements those protocols may still contain mistakes, and an incorrect implementation could lead to vulnerabilities even in the most well-understood protocol. The goal of this work is to close this gap by introducing a new technique for checking that a C implementation of a protocol matches its description in an RFC or similar standards document. We present a static (compile-time) source code analysis tool called Pistachio that checks C code against a rule-based specification of its behavior. Rules describe what should happen during each round of communication, and can be used to enforce constraints on ordering of operations and on data values. Our analysis is not guaranteed sound due to some heuristic approximations it makes, but has a low false negative rate in practice when compared to known bug reports. We have applied Pistachio to two different implementations of SSH2 and an implementation of RCP. Pistachio discovered a multitude of bugs, including security vulnerabilities, that we confirmed by hand and checked against each project’s bug databases." @default.
• W3022140103 created "2020-05-13" @default.
• W3022140103 creator A5029827712 @default.
• W3022140103 creator A5038702707 @default.
• W3022140103 creator A5040035948 @default.
• W3022140103 date "2008-02-01" @default.
• W3022140103 modified "2023-10-18" @default.
• W3022140103 title "Rule-based static analysis of network protocol implementations" @default.
• W3022140103 cites W1585877836 @default.
• W3022140103 cites W1596552075 @default.
• W3022140103 cites W1726304021 @default.
• W3022140103 cites W1965927058 @default.
• W3022140103 cites W1978358700 @default.
• W3022140103 cites W2003915781 @default.
• W3022140103 cites W2016716561 @default.
• W3022140103 cites W2043100293 @default.
• W3022140103 cites W2062014442 @default.
• W3022140103 cites W2065675749 @default.
• W3022140103 cites W2082000355 @default.
• W3022140103 cites W2101341522 @default.
• W3022140103 cites W2107089133 @default.
• W3022140103 cites W2110601905 @default.
• W3022140103 cites W2114497629 @default.
• W3022140103 cites W2115309705 @default.
• W3022140103 cites W2118377274 @default.
• W3022140103 cites W2156268601 @default.
• W3022140103 cites W2157859774 @default.
• W3022140103 cites W2160883697 @default.
• W3022140103 cites W2294935184 @default.
• W3022140103 cites W4231021522 @default.
• W3022140103 cites W4233287603 @default.
• W3022140103 cites W4235136009 @default.
• W3022140103 cites W4242823406 @default.
• W3022140103 cites W4243167850 @default.
• W3022140103 cites W4247289040 @default.
• W3022140103 cites W4249517013 @default.
• W3022140103 cites W4251167975 @default.
• W3022140103 cites W4300516829 @default.
• W3022140103 doi "https://doi.org/10.1016/j.ic.2007.05.007" @default.
• W3022140103 hasPublicationYear "2008" @default.
• W3022140103 type Work @default.
• W3022140103 sameAs 3022140103 @default.
• W3022140103 citedByCount "13" @default.
• W3022140103 countsByYear W30221401032013 @default.
• W3022140103 countsByYear W30221401032014 @default.
• W3022140103 countsByYear W30221401032015 @default.
• W3022140103 countsByYear W30221401032016 @default.
• W3022140103 countsByYear W30221401032017 @default.
• W3022140103 countsByYear W30221401032019 @default.
• W3022140103 countsByYear W30221401032021 @default.
• W3022140103 countsByYear W30221401032022 @default.
• W3022140103 crossrefType "journal-article" @default.
• W3022140103 hasAuthorship W3022140103A5029827712 @default.
• W3022140103 hasAuthorship W3022140103A5038702707 @default.
• W3022140103 hasAuthorship W3022140103A5040035948 @default.
• W3022140103 hasBestOaLocation W30221401031 @default.
• W3022140103 hasConcept C104317684 @default.
• W3022140103 hasConcept C115903868 @default.
• W3022140103 hasConcept C142724271 @default.
• W3022140103 hasConcept C154945302 @default.
• W3022140103 hasConcept C169590947 @default.
• W3022140103 hasConcept C173801870 @default.
• W3022140103 hasConcept C185592680 @default.
• W3022140103 hasConcept C199360897 @default.
• W3022140103 hasConcept C204787440 @default.
• W3022140103 hasConcept C26713055 @default.
• W3022140103 hasConcept C2777904410 @default.
• W3022140103 hasConcept C2780385302 @default.
• W3022140103 hasConcept C29983905 @default.
• W3022140103 hasConcept C38652104 @default.
• W3022140103 hasConcept C40842320 @default.
• W3022140103 hasConcept C41008148 @default.
• W3022140103 hasConcept C527648132 @default.
• W3022140103 hasConcept C55493867 @default.
• W3022140103 hasConcept C62913178 @default.
• W3022140103 hasConcept C63479239 @default.
• W3022140103 hasConcept C71924100 @default.
• W3022140103 hasConcept C97686452 @default.
• W3022140103 hasConceptScore W3022140103C104317684 @default.
• W3022140103 hasConceptScore W3022140103C115903868 @default.
• W3022140103 hasConceptScore W3022140103C142724271 @default.
• W3022140103 hasConceptScore W3022140103C154945302 @default.
• W3022140103 hasConceptScore W3022140103C169590947 @default.
• W3022140103 hasConceptScore W3022140103C173801870 @default.
• W3022140103 hasConceptScore W3022140103C185592680 @default.
• W3022140103 hasConceptScore W3022140103C199360897 @default.
• W3022140103 hasConceptScore W3022140103C204787440 @default.
• W3022140103 hasConceptScore W3022140103C26713055 @default.
• W3022140103 hasConceptScore W3022140103C2777904410 @default.
• W3022140103 hasConceptScore W3022140103C2780385302 @default.
• W3022140103 hasConceptScore W3022140103C29983905 @default.
• W3022140103 hasConceptScore W3022140103C38652104 @default.
• W3022140103 hasConceptScore W3022140103C40842320 @default.
• W3022140103 hasConceptScore W3022140103C41008148 @default.
• W3022140103 hasConceptScore W3022140103C527648132 @default.
• W3022140103 hasConceptScore W3022140103C55493867 @default.
• W3022140103 hasConceptScore W3022140103C62913178 @default.
• W3022140103 hasConceptScore W3022140103C63479239 @default.

• next