FRINK Linked Data Fragments server

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

• W2952650806 abstract "The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different equational properties. It both extends and provides a formal framework for the original NRL Protocol Analyzer, which supported equational reasoning in a more limited way. Maude-NPA supports a wide variety of algebraic properties that includes many crypto-systems of interest such as, for example, one-time pads and Diffie-Hellman. Maude-NPA, like the original NPA, looks for attacks by searching backwards from an insecure attack state, and assumes an unbounded number of sessions. Because of the unbounded number of sessions and the support for different equational theories, it is necessary to develop ways of reducing the search space and avoiding infinite search paths. In order for the techniques to prove useful, they need not only to speed up the search, but should not violate completeness, so that failure to find attacks still guarantees security. In this paper we describe some state space reduction techniques that we have implemented in Maude-NPA. We also provide completeness proofs, and experimental evaluations of their effect on the performance of Maude-NPA." @default.
• W2952650806 created "2019-06-27" @default.
• W2952650806 creator A5007839082 @default.
• W2952650806 creator A5021410622 @default.
• W2952650806 creator A5032149189 @default.
• W2952650806 date "2011-05-26" @default.
• W2952650806 modified "2023-09-27" @default.
• W2952650806 title "State Space Reduction in the Maude-NRL Protocol Analyzer" @default.
• W2952650806 cites W1536580911 @default.
• W2952650806 cites W1678943029 @default.
• W2952650806 cites W1975308297 @default.
• W2952650806 cites W2003915781 @default.
• W2952650806 cites W2029693536 @default.
• W2952650806 cites W2042987983 @default.
• W2952650806 cites W2058459987 @default.
• W2952650806 cites W2132544882 @default.
• W2952650806 cites W2175429362 @default.
• W2952650806 cites W2267962597 @default.
• W2952650806 cites W2316113835 @default.
• W2952650806 cites W598205067 @default.
• W2952650806 hasPublicationYear "2011" @default.
• W2952650806 type Work @default.
• W2952650806 sameAs 2952650806 @default.
• W2952650806 citedByCount "1" @default.
• W2952650806 countsByYear W29526508062012 @default.
• W2952650806 crossrefType "posted-content" @default.
• W2952650806 hasAuthorship W2952650806A5007839082 @default.
• W2952650806 hasAuthorship W2952650806A5021410622 @default.
• W2952650806 hasAuthorship W2952650806A5032149189 @default.
• W2952650806 hasConcept C105795698 @default.
• W2952650806 hasConcept C108710211 @default.
• W2952650806 hasConcept C111335779 @default.
• W2952650806 hasConcept C11413529 @default.
• W2952650806 hasConcept C134306372 @default.
• W2952650806 hasConcept C136197465 @default.
• W2952650806 hasConcept C142724271 @default.
• W2952650806 hasConcept C154945302 @default.
• W2952650806 hasConcept C17231256 @default.
• W2952650806 hasConcept C178489894 @default.
• W2952650806 hasConcept C199360897 @default.
• W2952650806 hasConcept C204787440 @default.
• W2952650806 hasConcept C2524010 @default.
• W2952650806 hasConcept C2780385302 @default.
• W2952650806 hasConcept C33884865 @default.
• W2952650806 hasConcept C33923547 @default.
• W2952650806 hasConcept C39920170 @default.
• W2952650806 hasConcept C41008148 @default.
• W2952650806 hasConcept C48103436 @default.
• W2952650806 hasConcept C6295992 @default.
• W2952650806 hasConcept C71924100 @default.
• W2952650806 hasConcept C72434380 @default.
• W2952650806 hasConcept C80444323 @default.
• W2952650806 hasConceptScore W2952650806C105795698 @default.
• W2952650806 hasConceptScore W2952650806C108710211 @default.
• W2952650806 hasConceptScore W2952650806C111335779 @default.
• W2952650806 hasConceptScore W2952650806C11413529 @default.
• W2952650806 hasConceptScore W2952650806C134306372 @default.
• W2952650806 hasConceptScore W2952650806C136197465 @default.
• W2952650806 hasConceptScore W2952650806C142724271 @default.
• W2952650806 hasConceptScore W2952650806C154945302 @default.
• W2952650806 hasConceptScore W2952650806C17231256 @default.
• W2952650806 hasConceptScore W2952650806C178489894 @default.
• W2952650806 hasConceptScore W2952650806C199360897 @default.
• W2952650806 hasConceptScore W2952650806C204787440 @default.
• W2952650806 hasConceptScore W2952650806C2524010 @default.
• W2952650806 hasConceptScore W2952650806C2780385302 @default.
• W2952650806 hasConceptScore W2952650806C33884865 @default.
• W2952650806 hasConceptScore W2952650806C33923547 @default.
• W2952650806 hasConceptScore W2952650806C39920170 @default.
• W2952650806 hasConceptScore W2952650806C41008148 @default.
• W2952650806 hasConceptScore W2952650806C48103436 @default.
• W2952650806 hasConceptScore W2952650806C6295992 @default.
• W2952650806 hasConceptScore W2952650806C71924100 @default.
• W2952650806 hasConceptScore W2952650806C72434380 @default.
• W2952650806 hasConceptScore W2952650806C80444323 @default.
• W2952650806 hasLocation W29526508061 @default.
• W2952650806 hasOpenAccess W2952650806 @default.
• W2952650806 hasPrimaryLocation W29526508061 @default.
• W2952650806 hasRelatedWork W117052899 @default.
• W2952650806 hasRelatedWork W1554274402 @default.
• W2952650806 hasRelatedWork W1568822072 @default.
• W2952650806 hasRelatedWork W1570101401 @default.
• W2952650806 hasRelatedWork W1779054477 @default.
• W2952650806 hasRelatedWork W194467232 @default.
• W2952650806 hasRelatedWork W2015340470 @default.
• W2952650806 hasRelatedWork W203163398 @default.
• W2952650806 hasRelatedWork W2033747706 @default.
• W2952650806 hasRelatedWork W2057936571 @default.
• W2952650806 hasRelatedWork W2066904164 @default.
• W2952650806 hasRelatedWork W2155993098 @default.
• W2952650806 hasRelatedWork W2269601462 @default.
• W2952650806 hasRelatedWork W2293715571 @default.
• W2952650806 hasRelatedWork W2399996762 @default.
• W2952650806 hasRelatedWork W2587679938 @default.
• W2952650806 hasRelatedWork W2809524033 @default.
• W2952650806 hasRelatedWork W2889802792 @default.
• W2952650806 hasRelatedWork W3152857967 @default.
• W2952650806 hasRelatedWork W2592193437 @default.
• W2952650806 isParatext "false" @default.
• W2952650806 isRetracted "false" @default.

• next