FRINK Linked Data Fragments server

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

• W1841879996 abstract "In previous work we showed that automatic SAT-based model-checking techniques based on a reduction of protocol insecurity problems to satisfiability problems in propositional logic (SAT) can be used effectively to find attacks on security protocols. The approach results from the combination of a reduction of protocol insecurity problems to planning problems and well-known SAT-reduction techniques, called linear encodings, developed for planning. Experimental results confirmed the effectiveness of the approach but also showed that the time spent to generate the SAT formula largely dominates the time spent by the SAT solver to check its satisfiability. Moreover, the SAT instances generated by the tool get of unmanageable size on the most complex protocols. In this paper we explore the application of the Graphplan-based encoding technique to the analysis of security protocols and present experimental data showing that Graphplan-based encodings are considerably (i.e. up to 2 orders of magnitude) smaller than linear encodings. These results confirm the effectiveness of the SAT-based approach to the analysis of security protocols and pave the way to its application to large protocols arising in practical applications." @default.
• W1841879996 created "2016-06-24" @default.
• W1841879996 creator A5030085363 @default.
• W1841879996 creator A5039827178 @default.
• W1841879996 creator A5071893704 @default.
• W1841879996 date "2003-01-01" @default.
• W1841879996 modified "2023-10-07" @default.
• W1841879996 title "SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis" @default.
• W1841879996 cites W1503713831 @default.
• W1841879996 cites W1511155470 @default.
• W1841879996 cites W1594518690 @default.
• W1841879996 cites W1731763842 @default.
• W1841879996 cites W1779054477 @default.
• W1841879996 cites W1787074469 @default.
• W1841879996 cites W1922967198 @default.
• W1841879996 cites W1944323241 @default.
• W1841879996 cites W2029693536 @default.
• W1841879996 cites W2049129243 @default.
• W1841879996 cites W2108731912 @default.
• W1841879996 cites W2142785340 @default.
• W1841879996 cites W2155032609 @default.
• W1841879996 cites W2177212599 @default.
• W1841879996 doi "https://doi.org/10.1007/978-3-540-45236-2_47" @default.
• W1841879996 hasPublicationYear "2003" @default.
• W1841879996 type Work @default.
• W1841879996 sameAs 1841879996 @default.
• W1841879996 citedByCount "28" @default.
• W1841879996 countsByYear W18418799962012 @default.
• W1841879996 countsByYear W18418799962013 @default.
• W1841879996 countsByYear W18418799962014 @default.
• W1841879996 countsByYear W18418799962016 @default.
• W1841879996 countsByYear W18418799962021 @default.
• W1841879996 crossrefType "book-chapter" @default.
• W1841879996 hasAuthorship W1841879996A5030085363 @default.
• W1841879996 hasAuthorship W1841879996A5039827178 @default.
• W1841879996 hasAuthorship W1841879996A5071893704 @default.
• W1841879996 hasConcept C110251889 @default.
• W1841879996 hasConcept C111335779 @default.
• W1841879996 hasConcept C11413529 @default.
• W1841879996 hasConcept C132525143 @default.
• W1841879996 hasConcept C142724271 @default.
• W1841879996 hasConcept C168773769 @default.
• W1841879996 hasConcept C178489894 @default.
• W1841879996 hasConcept C199360897 @default.
• W1841879996 hasConcept C204787440 @default.
• W1841879996 hasConcept C2524010 @default.
• W1841879996 hasConcept C2778770139 @default.
• W1841879996 hasConcept C2780385302 @default.
• W1841879996 hasConcept C33884865 @default.
• W1841879996 hasConcept C33923547 @default.
• W1841879996 hasConcept C38369872 @default.
• W1841879996 hasConcept C38652104 @default.
• W1841879996 hasConcept C41008148 @default.
• W1841879996 hasConcept C6943359 @default.
• W1841879996 hasConcept C69562738 @default.
• W1841879996 hasConcept C71924100 @default.
• W1841879996 hasConcept C80444323 @default.
• W1841879996 hasConceptScore W1841879996C110251889 @default.
• W1841879996 hasConceptScore W1841879996C111335779 @default.
• W1841879996 hasConceptScore W1841879996C11413529 @default.
• W1841879996 hasConceptScore W1841879996C132525143 @default.
• W1841879996 hasConceptScore W1841879996C142724271 @default.
• W1841879996 hasConceptScore W1841879996C168773769 @default.
• W1841879996 hasConceptScore W1841879996C178489894 @default.
• W1841879996 hasConceptScore W1841879996C199360897 @default.
• W1841879996 hasConceptScore W1841879996C204787440 @default.
• W1841879996 hasConceptScore W1841879996C2524010 @default.
• W1841879996 hasConceptScore W1841879996C2778770139 @default.
• W1841879996 hasConceptScore W1841879996C2780385302 @default.
• W1841879996 hasConceptScore W1841879996C33884865 @default.
• W1841879996 hasConceptScore W1841879996C33923547 @default.
• W1841879996 hasConceptScore W1841879996C38369872 @default.
• W1841879996 hasConceptScore W1841879996C38652104 @default.
• W1841879996 hasConceptScore W1841879996C41008148 @default.
• W1841879996 hasConceptScore W1841879996C6943359 @default.
• W1841879996 hasConceptScore W1841879996C69562738 @default.
• W1841879996 hasConceptScore W1841879996C71924100 @default.
• W1841879996 hasConceptScore W1841879996C80444323 @default.
• W1841879996 hasLocation W18418799961 @default.
• W1841879996 hasOpenAccess W1841879996 @default.
• W1841879996 hasPrimaryLocation W18418799961 @default.
• W1841879996 hasRelatedWork W1569881051 @default.
• W1841879996 hasRelatedWork W1619409532 @default.
• W1841879996 hasRelatedWork W1705753742 @default.
• W1841879996 hasRelatedWork W1858410342 @default.
• W1841879996 hasRelatedWork W1922967198 @default.
• W1841879996 hasRelatedWork W1935929520 @default.
• W1841879996 hasRelatedWork W1944323241 @default.
• W1841879996 hasRelatedWork W2003915781 @default.
• W1841879996 hasRelatedWork W2029693536 @default.
• W1841879996 hasRelatedWork W2108731912 @default.
• W1841879996 hasRelatedWork W2117064875 @default.
• W1841879996 hasRelatedWork W2126338744 @default.
• W1841879996 hasRelatedWork W2145415641 @default.
• W1841879996 hasRelatedWork W2146973388 @default.
• W1841879996 hasRelatedWork W2153921791 @default.
• W1841879996 hasRelatedWork W2155032609 @default.
• W1841879996 hasRelatedWork W2175137100 @default.
• W1841879996 hasRelatedWork W2177212599 @default.
• W1841879996 hasRelatedWork W3162919972 @default.

• next