FRINK Linked Data Fragments server

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

• W2050378552 abstract "Abstract Protocol verification is one of the most challenging tasks in the design of protocols. Among the various proposed approaches, the one based on reachability analysis (or known as state enumeration approach) is of the most simple, automatic and effective. However, the state explosion problem is a principle obstacle toward successful and complete verifications of complex protocols. To overcome this problem, we proposed a new approach, the “path-based approach.” The idea is to divide a protocol into a collection of individual execution record, denoted as concurrent paths, a partial order representation recording the execution paths of individual entities. Then, the verification of the protocol is, thus, replaced by that of individual concurrent paths. Since concurrent paths can be automatically generated through Cartesian product of the execution paths of all modules, and verified independently, the memory requirement is limited to the complexity of individual concurrent path rather than the whole protocol. Thus, the state explosion problem is alleviated from such “divide and conquer” approach. Furthermore, we propose an algorithm, making the trade-off on memory requirement to generate the concurrent paths more efficiently; and utilize the technique of symmetric verification, parallel computing to improve the efficiency of verification. Eventually, our experience of verifying real protocols shows that our approach uses much less memory and time than reachability analysis." @default.
• W2050378552 created "2016-06-24" @default.
• W2050378552 creator A5007506126 @default.
• W2050378552 creator A5018729956 @default.
• W2050378552 date "2000-03-01" @default.
• W2050378552 modified "2023-09-24" @default.
• W2050378552 title "Path-based protocol verification approach" @default.
• W2050378552 cites W107427404 @default.
• W2050378552 cites W1582448188 @default.
• W2050378552 cites W1589276513 @default.
• W2050378552 cites W160690331 @default.
• W2050378552 cites W1834767237 @default.
• W2050378552 cites W1910771831 @default.
• W2050378552 cites W1972065960 @default.
• W2050378552 cites W1988698058 @default.
• W2050378552 cites W1993235915 @default.
• W2050378552 cites W1994902629 @default.
• W2050378552 cites W2001817854 @default.
• W2050378552 cites W2002089154 @default.
• W2050378552 cites W2009965218 @default.
• W2050378552 cites W2016300863 @default.
• W2050378552 cites W2025970201 @default.
• W2050378552 cites W2033263591 @default.
• W2050378552 cites W2048388665 @default.
• W2050378552 cites W2061438988 @default.
• W2050378552 cites W2080267935 @default.
• W2050378552 cites W2129023274 @default.
• W2050378552 cites W2132716780 @default.
• W2050378552 cites W2153733834 @default.
• W2050378552 cites W2160083957 @default.
• W2050378552 cites W2162648777 @default.
• W2050378552 cites W2164989576 @default.
• W2050378552 cites W2166158916 @default.
• W2050378552 cites W2169384717 @default.
• W2050378552 cites W2171419179 @default.
• W2050378552 cites W2336114453 @default.
• W2050378552 cites W2339741178 @default.
• W2050378552 cites W2554105671 @default.
• W2050378552 cites W3137220996 @default.
• W2050378552 cites W96320359 @default.
• W2050378552 doi "https://doi.org/10.1016/s0950-5849(99)00061-0" @default.
• W2050378552 hasPublicationYear "2000" @default.
• W2050378552 type Work @default.
• W2050378552 sameAs 2050378552 @default.
• W2050378552 citedByCount "2" @default.
• W2050378552 crossrefType "journal-article" @default.
• W2050378552 hasAuthorship W2050378552A5007506126 @default.
• W2050378552 hasAuthorship W2050378552A5018729956 @default.
• W2050378552 hasConcept C111498074 @default.
• W2050378552 hasConcept C11413529 @default.
• W2050378552 hasConcept C120314980 @default.
• W2050378552 hasConcept C136643341 @default.
• W2050378552 hasConcept C142724271 @default.
• W2050378552 hasConcept C173608175 @default.
• W2050378552 hasConcept C199360897 @default.
• W2050378552 hasConcept C204787440 @default.
• W2050378552 hasConcept C2777735758 @default.
• W2050378552 hasConcept C2780385302 @default.
• W2050378552 hasConcept C41008148 @default.
• W2050378552 hasConcept C48103436 @default.
• W2050378552 hasConcept C71924100 @default.
• W2050378552 hasConcept C80444323 @default.
• W2050378552 hasConceptScore W2050378552C111498074 @default.
• W2050378552 hasConceptScore W2050378552C11413529 @default.
• W2050378552 hasConceptScore W2050378552C120314980 @default.
• W2050378552 hasConceptScore W2050378552C136643341 @default.
• W2050378552 hasConceptScore W2050378552C142724271 @default.
• W2050378552 hasConceptScore W2050378552C173608175 @default.
• W2050378552 hasConceptScore W2050378552C199360897 @default.
• W2050378552 hasConceptScore W2050378552C204787440 @default.
• W2050378552 hasConceptScore W2050378552C2777735758 @default.
• W2050378552 hasConceptScore W2050378552C2780385302 @default.
• W2050378552 hasConceptScore W2050378552C41008148 @default.
• W2050378552 hasConceptScore W2050378552C48103436 @default.
• W2050378552 hasConceptScore W2050378552C71924100 @default.
• W2050378552 hasConceptScore W2050378552C80444323 @default.
• W2050378552 hasLocation W20503785521 @default.
• W2050378552 hasOpenAccess W2050378552 @default.
• W2050378552 hasPrimaryLocation W20503785521 @default.
• W2050378552 hasRelatedWork W1487984273 @default.
• W2050378552 hasRelatedWork W1562222323 @default.
• W2050378552 hasRelatedWork W1562663103 @default.
• W2050378552 hasRelatedWork W1595657196 @default.
• W2050378552 hasRelatedWork W1639532306 @default.
• W2050378552 hasRelatedWork W1993054810 @default.
• W2050378552 hasRelatedWork W2030511855 @default.
• W2050378552 hasRelatedWork W2040728469 @default.
• W2050378552 hasRelatedWork W2102005460 @default.
• W2050378552 hasRelatedWork W2104405135 @default.
• W2050378552 hasRelatedWork W2106360530 @default.
• W2050378552 hasRelatedWork W2149594490 @default.
• W2050378552 hasRelatedWork W2168339401 @default.
• W2050378552 hasRelatedWork W2260681216 @default.
• W2050378552 hasRelatedWork W2465924071 @default.
• W2050378552 hasRelatedWork W2468952353 @default.
• W2050378552 hasRelatedWork W2885205415 @default.
• W2050378552 hasRelatedWork W3009390554 @default.
• W2050378552 hasRelatedWork W3126262779 @default.
• W2050378552 hasRelatedWork W3170437417 @default.
• W2050378552 isParatext "false" @default.

• next