Matches in SemOpenAlex for { <https://semopenalex.org/work/W2361594893> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2361594893 abstract "Strand Spaces serve as a model of security protocol analysis. In this paper, the main characteristics of Strand Spaces are briefly introduced, and its advantages and disadvantages are presented . An algorithm of building an ideal model of a protocol is proposed, which is used to bound both the abilities of the penetrator and the number of concurrent protocol runs. Combining Model Checking and Strand Spaces, a method is proposed to use both the automatic reasoning mechanism of the Model Checking and the bounds on security protocol analysis to achieve effective analysis of security protocols, avoiding state explosion problems." @default.
- W2361594893 created "2016-06-24" @default.
- W2361594893 creator A5072367036 @default.
- W2361594893 date "2002-01-01" @default.
- W2361594893 modified "2023-09-27" @default.
- W2361594893 title "Some Bounds on Security Protocol Analysis——Combining Model Checking and Strand Spaces" @default.
- W2361594893 hasPublicationYear "2002" @default.
- W2361594893 type Work @default.
- W2361594893 sameAs 2361594893 @default.
- W2361594893 citedByCount "0" @default.
- W2361594893 crossrefType "journal-article" @default.
- W2361594893 hasAuthorship W2361594893A5072367036 @default.
- W2361594893 hasConcept C110251889 @default.
- W2361594893 hasConcept C11413529 @default.
- W2361594893 hasConcept C120314980 @default.
- W2361594893 hasConcept C142724271 @default.
- W2361594893 hasConcept C178489894 @default.
- W2361594893 hasConcept C204787440 @default.
- W2361594893 hasConcept C2780385302 @default.
- W2361594893 hasConcept C33884865 @default.
- W2361594893 hasConcept C38369872 @default.
- W2361594893 hasConcept C38652104 @default.
- W2361594893 hasConcept C41008148 @default.
- W2361594893 hasConcept C71924100 @default.
- W2361594893 hasConcept C80444323 @default.
- W2361594893 hasConceptScore W2361594893C110251889 @default.
- W2361594893 hasConceptScore W2361594893C11413529 @default.
- W2361594893 hasConceptScore W2361594893C120314980 @default.
- W2361594893 hasConceptScore W2361594893C142724271 @default.
- W2361594893 hasConceptScore W2361594893C178489894 @default.
- W2361594893 hasConceptScore W2361594893C204787440 @default.
- W2361594893 hasConceptScore W2361594893C2780385302 @default.
- W2361594893 hasConceptScore W2361594893C33884865 @default.
- W2361594893 hasConceptScore W2361594893C38369872 @default.
- W2361594893 hasConceptScore W2361594893C38652104 @default.
- W2361594893 hasConceptScore W2361594893C41008148 @default.
- W2361594893 hasConceptScore W2361594893C71924100 @default.
- W2361594893 hasConceptScore W2361594893C80444323 @default.
- W2361594893 hasLocation W23615948931 @default.
- W2361594893 hasOpenAccess W2361594893 @default.
- W2361594893 hasPrimaryLocation W23615948931 @default.
- W2361594893 hasRelatedWork W1539079134 @default.
- W2361594893 hasRelatedWork W1967193464 @default.
- W2361594893 hasRelatedWork W1980987353 @default.
- W2361594893 hasRelatedWork W1987711242 @default.
- W2361594893 hasRelatedWork W2058643398 @default.
- W2361594893 hasRelatedWork W2094461044 @default.
- W2361594893 hasRelatedWork W2098246374 @default.
- W2361594893 hasRelatedWork W2120152919 @default.
- W2361594893 hasRelatedWork W2162318602 @default.
- W2361594893 hasRelatedWork W2356217319 @default.
- W2361594893 hasRelatedWork W2357597635 @default.
- W2361594893 hasRelatedWork W2362345715 @default.
- W2361594893 hasRelatedWork W2366664254 @default.
- W2361594893 hasRelatedWork W2369044365 @default.
- W2361594893 hasRelatedWork W2369190563 @default.
- W2361594893 hasRelatedWork W2378959369 @default.
- W2361594893 hasRelatedWork W2386575076 @default.
- W2361594893 hasRelatedWork W2394249108 @default.
- W2361594893 hasRelatedWork W2735502944 @default.
- W2361594893 hasRelatedWork W851703432 @default.
- W2361594893 isParatext "false" @default.
- W2361594893 isRetracted "false" @default.
- W2361594893 magId "2361594893" @default.
- W2361594893 workType "article" @default.