FRINK Linked Data Fragments server

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

• W2149792581 abstract "A lot of efforts have been devoted to the analysis of network protocol specification for reliability and security properties using formal techniques. However, faults can also be introduced during system implementation; it is indispensable to detect protocol implementation flaws, yet due to the black-box nature of protocol implementation and the unavailability of protocol specification most of the approaches resort to random or manual testing. In this paper we propose a model-based approach for security flaw detection of protocol implementation with a high fault coverage, measurability, and automation. Our approach first synthesizes an abstract behavioral model from a protocol implementation and then uses it to guide the testing process for detecting security and reliability flaws. For protocol specification synthesis we reduce the problem a trace minimization with a finite state machine model and an efficient algorithm is presented for state space reduction. Our method is implemented and applied to real network protocols. Guided by the synthesized model our testing tool reveals a number of unknown reliability and security issues by automatically crashing the implementations of the Microsoft MSN instant messaging (MSNIM) protocol. Analytical comparison between our model-based and prevalent syntax-based flaw detection schemes is also provided with the support of experimental results." @default.
• W2149792581 created "2016-06-24" @default.
• W2149792581 creator A5033512388 @default.
• W2149792581 creator A5040288049 @default.
• W2149792581 creator A5054149800 @default.
• W2149792581 date "2008-10-01" @default.
• W2149792581 modified "2023-09-25" @default.
• W2149792581 title "A model-based approach to security flaw detection of network protocol implementations" @default.
• W2149792581 cites W1502951647 @default.
• W2149792581 cites W1545777539 @default.
• W2149792581 cites W1884983968 @default.
• W2149792581 cites W1949455947 @default.
• W2149792581 cites W1989445634 @default.
• W2149792581 cites W1995421397 @default.
• W2149792581 cites W2004929506 @default.
• W2149792581 cites W2016716561 @default.
• W2149792581 cites W2029693536 @default.
• W2149792581 cites W2051634947 @default.
• W2149792581 cites W2058664275 @default.
• W2149792581 cites W2076343783 @default.
• W2149792581 cites W2079267582 @default.
• W2149792581 cites W2121948896 @default.
• W2149792581 cites W2141497545 @default.
• W2149792581 cites W4237492309 @default.
• W2149792581 doi "https://doi.org/10.1109/icnp.2008.4697030" @default.
• W2149792581 hasPublicationYear "2008" @default.
• W2149792581 type Work @default.
• W2149792581 sameAs 2149792581 @default.
• W2149792581 citedByCount "33" @default.
• W2149792581 countsByYear W21497925812012 @default.
• W2149792581 countsByYear W21497925812013 @default.
• W2149792581 countsByYear W21497925812014 @default.
• W2149792581 countsByYear W21497925812015 @default.
• W2149792581 countsByYear W21497925812016 @default.
• W2149792581 countsByYear W21497925812017 @default.
• W2149792581 countsByYear W21497925812018 @default.
• W2149792581 countsByYear W21497925812019 @default.
• W2149792581 countsByYear W21497925812020 @default.
• W2149792581 countsByYear W21497925812021 @default.
• W2149792581 countsByYear W21497925812022 @default.
• W2149792581 crossrefType "proceedings-article" @default.
• W2149792581 hasAuthorship W2149792581A5033512388 @default.
• W2149792581 hasAuthorship W2149792581A5040288049 @default.
• W2149792581 hasAuthorship W2149792581A5054149800 @default.
• W2149792581 hasConcept C11413529 @default.
• W2149792581 hasConcept C115903868 @default.
• W2149792581 hasConcept C120314980 @default.
• W2149792581 hasConcept C121332964 @default.
• W2149792581 hasConcept C142724271 @default.
• W2149792581 hasConcept C149635348 @default.
• W2149792581 hasConcept C163258240 @default.
• W2149792581 hasConcept C165751822 @default.
• W2149792581 hasConcept C167822520 @default.
• W2149792581 hasConcept C178489894 @default.
• W2149792581 hasConcept C199360897 @default.
• W2149792581 hasConcept C204787440 @default.
• W2149792581 hasConcept C26713055 @default.
• W2149792581 hasConcept C2775928411 @default.
• W2149792581 hasConcept C2777904410 @default.
• W2149792581 hasConcept C2780385302 @default.
• W2149792581 hasConcept C33884865 @default.
• W2149792581 hasConcept C41008148 @default.
• W2149792581 hasConcept C43214815 @default.
• W2149792581 hasConcept C62520636 @default.
• W2149792581 hasConcept C71924100 @default.
• W2149792581 hasConceptScore W2149792581C11413529 @default.
• W2149792581 hasConceptScore W2149792581C115903868 @default.
• W2149792581 hasConceptScore W2149792581C120314980 @default.
• W2149792581 hasConceptScore W2149792581C121332964 @default.
• W2149792581 hasConceptScore W2149792581C142724271 @default.
• W2149792581 hasConceptScore W2149792581C149635348 @default.
• W2149792581 hasConceptScore W2149792581C163258240 @default.
• W2149792581 hasConceptScore W2149792581C165751822 @default.
• W2149792581 hasConceptScore W2149792581C167822520 @default.
• W2149792581 hasConceptScore W2149792581C178489894 @default.
• W2149792581 hasConceptScore W2149792581C199360897 @default.
• W2149792581 hasConceptScore W2149792581C204787440 @default.
• W2149792581 hasConceptScore W2149792581C26713055 @default.
• W2149792581 hasConceptScore W2149792581C2775928411 @default.
• W2149792581 hasConceptScore W2149792581C2777904410 @default.
• W2149792581 hasConceptScore W2149792581C2780385302 @default.
• W2149792581 hasConceptScore W2149792581C33884865 @default.
• W2149792581 hasConceptScore W2149792581C41008148 @default.
• W2149792581 hasConceptScore W2149792581C43214815 @default.
• W2149792581 hasConceptScore W2149792581C62520636 @default.
• W2149792581 hasConceptScore W2149792581C71924100 @default.
• W2149792581 hasLocation W21497925811 @default.
• W2149792581 hasOpenAccess W2149792581 @default.
• W2149792581 hasPrimaryLocation W21497925811 @default.
• W2149792581 hasRelatedWork W1539836307 @default.
• W2149792581 hasRelatedWork W2024770257 @default.
• W2149792581 hasRelatedWork W2033597054 @default.
• W2149792581 hasRelatedWork W2111830954 @default.
• W2149792581 hasRelatedWork W2114694102 @default.
• W2149792581 hasRelatedWork W2149472988 @default.
• W2149792581 hasRelatedWork W2163285027 @default.
• W2149792581 hasRelatedWork W2400382143 @default.
• W2149792581 hasRelatedWork W2551889992 @default.
• W2149792581 hasRelatedWork W2765721606 @default.
• W2149792581 isParatext "false" @default.

• next