Matches in SemOpenAlex for { <https://semopenalex.org/work/W2394249108> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2394249108 abstract "Strand space is a new model for the formal analysis of security protocols.By using the theory of order relation,a very important conclusion used to analyze security protocols formally with the help of the strand space model is shown.By constructing penetrator strands for the Woo-Lam protocol we present a strand space model infiltrated for this protocol.Moreover,with the help of this strand space model infiltrated we analyze the flaw in this protocol and illustrate that this flaw in this protocol can be overcome in the improved Woo-Lam protocol.The strand space model discussed above is distinguished from other models by its simplicity and can avoid the state space explosion problem." @default.
- W2394249108 created "2016-06-24" @default.
- W2394249108 creator A5014065709 @default.
- W2394249108 date "2006-01-01" @default.
- W2394249108 modified "2023-09-26" @default.
- W2394249108 title "A new model for analyzing security protocols formally" @default.
- W2394249108 hasPublicationYear "2006" @default.
- W2394249108 type Work @default.
- W2394249108 sameAs 2394249108 @default.
- W2394249108 citedByCount "0" @default.
- W2394249108 crossrefType "journal-article" @default.
- W2394249108 hasAuthorship W2394249108A5014065709 @default.
- W2394249108 hasConcept C105795698 @default.
- W2394249108 hasConcept C111919701 @default.
- W2394249108 hasConcept C121332964 @default.
- W2394249108 hasConcept C124101348 @default.
- W2394249108 hasConcept C142724271 @default.
- W2394249108 hasConcept C178489894 @default.
- W2394249108 hasConcept C204787440 @default.
- W2394249108 hasConcept C25343380 @default.
- W2394249108 hasConcept C2776372474 @default.
- W2394249108 hasConcept C2778572836 @default.
- W2394249108 hasConcept C2780385302 @default.
- W2394249108 hasConcept C33884865 @default.
- W2394249108 hasConcept C33923547 @default.
- W2394249108 hasConcept C38652104 @default.
- W2394249108 hasConcept C41008148 @default.
- W2394249108 hasConcept C62520636 @default.
- W2394249108 hasConcept C71924100 @default.
- W2394249108 hasConcept C72434380 @default.
- W2394249108 hasConcept C80444323 @default.
- W2394249108 hasConceptScore W2394249108C105795698 @default.
- W2394249108 hasConceptScore W2394249108C111919701 @default.
- W2394249108 hasConceptScore W2394249108C121332964 @default.
- W2394249108 hasConceptScore W2394249108C124101348 @default.
- W2394249108 hasConceptScore W2394249108C142724271 @default.
- W2394249108 hasConceptScore W2394249108C178489894 @default.
- W2394249108 hasConceptScore W2394249108C204787440 @default.
- W2394249108 hasConceptScore W2394249108C25343380 @default.
- W2394249108 hasConceptScore W2394249108C2776372474 @default.
- W2394249108 hasConceptScore W2394249108C2778572836 @default.
- W2394249108 hasConceptScore W2394249108C2780385302 @default.
- W2394249108 hasConceptScore W2394249108C33884865 @default.
- W2394249108 hasConceptScore W2394249108C33923547 @default.
- W2394249108 hasConceptScore W2394249108C38652104 @default.
- W2394249108 hasConceptScore W2394249108C41008148 @default.
- W2394249108 hasConceptScore W2394249108C62520636 @default.
- W2394249108 hasConceptScore W2394249108C71924100 @default.
- W2394249108 hasConceptScore W2394249108C72434380 @default.
- W2394249108 hasConceptScore W2394249108C80444323 @default.
- W2394249108 hasLocation W23942491081 @default.
- W2394249108 hasOpenAccess W2394249108 @default.
- W2394249108 hasPrimaryLocation W23942491081 @default.
- W2394249108 hasRelatedWork W1967193464 @default.
- W2394249108 hasRelatedWork W1987711242 @default.
- W2394249108 hasRelatedWork W2058643398 @default.
- W2394249108 hasRelatedWork W2162318602 @default.
- W2394249108 hasRelatedWork W2355075369 @default.
- W2394249108 hasRelatedWork W2356217319 @default.
- W2394249108 hasRelatedWork W2357597635 @default.
- W2394249108 hasRelatedWork W2361300395 @default.
- W2394249108 hasRelatedWork W2361594893 @default.
- W2394249108 hasRelatedWork W2362345715 @default.
- W2394249108 hasRelatedWork W2366664254 @default.
- W2394249108 hasRelatedWork W2369044365 @default.
- W2394249108 hasRelatedWork W2369190563 @default.
- W2394249108 hasRelatedWork W2371220037 @default.
- W2394249108 hasRelatedWork W2378959369 @default.
- W2394249108 hasRelatedWork W2380101364 @default.
- W2394249108 hasRelatedWork W2380323765 @default.
- W2394249108 hasRelatedWork W2386575076 @default.
- W2394249108 hasRelatedWork W2390827941 @default.
- W2394249108 hasRelatedWork W2394038155 @default.
- W2394249108 isParatext "false" @default.
- W2394249108 isRetracted "false" @default.
- W2394249108 magId "2394249108" @default.
- W2394249108 workType "article" @default.