Matches in SemOpenAlex for { <https://semopenalex.org/work/W74005731> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W74005731 abstract "We apply Monte Carlo model checking to the Needham-Schroeder public key authentication protocol. The Monte Carlo approach uses random sampling of “lassos” (reachable cycles) to compute an estimate of the weighted expectation that a system S satisfies an LTL formula φ within a factor of 1 ± with probability at least 1− δ. It does so using a number of samples N that is optimal to within a constant factor, and in expected time O(N · D) and expected space O(D), where D is the recurrence diameter of the directed graph representing the product of S’s state transition graph and the Buchi automaton for ¬φ. Our results indicate that Monte Carlo model checking can find attacks in security protocols like Needham-Schroeder when traditional model checkers fail due to state explosion; and that the weighted expectation that Needham-Schroder is attack-free increases linearly with the nonce range (number of rounds)." @default.
- W74005731 created "2016-06-24" @default.
- W74005731 creator A5034362557 @default.
- W74005731 date "2005-01-01" @default.
- W74005731 modified "2023-09-26" @default.
- W74005731 title "Monte Carlo Analysis of Security Protocols: Needham-Schroeder Revisited∗" @default.
- W74005731 cites W1543240972 @default.
- W74005731 cites W1589312904 @default.
- W74005731 cites W1727096726 @default.
- W74005731 cites W1907943060 @default.
- W74005731 cites W1977553951 @default.
- W74005731 cites W1994676271 @default.
- W74005731 cites W2012935476 @default.
- W74005731 cites W2019881090 @default.
- W74005731 cites W2094500233 @default.
- W74005731 cites W2104130981 @default.
- W74005731 cites W2114909350 @default.
- W74005731 cites W2119275622 @default.
- W74005731 cites W2133693398 @default.
- W74005731 cites W2146973388 @default.
- W74005731 cites W2169908972 @default.
- W74005731 cites W2912904668 @default.
- W74005731 cites W3013607954 @default.
- W74005731 cites W2584250636 @default.
- W74005731 hasPublicationYear "2005" @default.
- W74005731 type Work @default.
- W74005731 sameAs 74005731 @default.
- W74005731 citedByCount "0" @default.
- W74005731 crossrefType "journal-article" @default.
- W74005731 hasAuthorship W74005731A5034362557 @default.
- W74005731 hasConcept C105795698 @default.
- W74005731 hasConcept C11413529 @default.
- W74005731 hasConcept C118615104 @default.
- W74005731 hasConcept C148730421 @default.
- W74005731 hasConcept C19499675 @default.
- W74005731 hasConcept C33923547 @default.
- W74005731 hasConcept C38652104 @default.
- W74005731 hasConcept C41008148 @default.
- W74005731 hasConcept C48103436 @default.
- W74005731 hasConcept C72434380 @default.
- W74005731 hasConcept C9996903 @default.
- W74005731 hasConceptScore W74005731C105795698 @default.
- W74005731 hasConceptScore W74005731C11413529 @default.
- W74005731 hasConceptScore W74005731C118615104 @default.
- W74005731 hasConceptScore W74005731C148730421 @default.
- W74005731 hasConceptScore W74005731C19499675 @default.
- W74005731 hasConceptScore W74005731C33923547 @default.
- W74005731 hasConceptScore W74005731C38652104 @default.
- W74005731 hasConceptScore W74005731C41008148 @default.
- W74005731 hasConceptScore W74005731C48103436 @default.
- W74005731 hasConceptScore W74005731C72434380 @default.
- W74005731 hasConceptScore W74005731C9996903 @default.
- W74005731 hasLocation W740057311 @default.
- W74005731 hasOpenAccess W74005731 @default.
- W74005731 hasPrimaryLocation W740057311 @default.
- W74005731 hasRelatedWork W121291419 @default.
- W74005731 hasRelatedWork W1525315946 @default.
- W74005731 hasRelatedWork W1562232729 @default.
- W74005731 hasRelatedWork W1604467760 @default.
- W74005731 hasRelatedWork W185893551 @default.
- W74005731 hasRelatedWork W1964053266 @default.
- W74005731 hasRelatedWork W2039865471 @default.
- W74005731 hasRelatedWork W2047451853 @default.
- W74005731 hasRelatedWork W2065683136 @default.
- W74005731 hasRelatedWork W2106774848 @default.
- W74005731 hasRelatedWork W2125868014 @default.
- W74005731 hasRelatedWork W2516418761 @default.
- W74005731 hasRelatedWork W2735773801 @default.
- W74005731 hasRelatedWork W2970737451 @default.
- W74005731 hasRelatedWork W2973090239 @default.
- W74005731 hasRelatedWork W3025861177 @default.
- W74005731 hasRelatedWork W3161671868 @default.
- W74005731 hasRelatedWork W355851014 @default.
- W74005731 hasRelatedWork W153128711 @default.
- W74005731 hasRelatedWork W167568324 @default.
- W74005731 isParatext "false" @default.
- W74005731 isRetracted "false" @default.
- W74005731 magId "74005731" @default.
- W74005731 workType "article" @default.