Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004781946> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2004781946 endingPage "156" @default.
- W2004781946 startingPage "128" @default.
- W2004781946 abstract "General E -unification is an important tool in cryptographic protocol analysis, where the equational theory E represents properties of the cryptographic algorithm, and uninterpreted function symbols represent other functions. The property of a homomorphism over an Abelian group is common in encryption algorithms such as RSA. The general E -unification problem in this theory is NP-complete, and existing algorithms are highly nondeterministic. We give a mostly deterministic set of inference rules for solving general E -unification modulo a homomorphism over an Abelian group, and prove that it is sound, complete and terminating. These inference rules have been implemented in Maude, and will be incorporated into the Maude-NRL Protocol Analyzer (Maude-NPA)." @default.
- W2004781946 created "2016-06-24" @default.
- W2004781946 creator A5051586876 @default.
- W2004781946 creator A5060341807 @default.
- W2004781946 date "2014-11-01" @default.
- W2004781946 modified "2023-09-29" @default.
- W2004781946 title "Efficient general AGH-unification" @default.
- W2004781946 cites W1502051745 @default.
- W2004781946 cites W1504007491 @default.
- W2004781946 cites W1532161068 @default.
- W2004781946 cites W1533609319 @default.
- W2004781946 cites W1536580911 @default.
- W2004781946 cites W1580595798 @default.
- W2004781946 cites W1602675124 @default.
- W2004781946 cites W182811427 @default.
- W2004781946 cites W2025331328 @default.
- W2004781946 cites W2075488055 @default.
- W2004781946 cites W2082569732 @default.
- W2004781946 cites W2113396055 @default.
- W2004781946 cites W2146526603 @default.
- W2004781946 cites W2149257851 @default.
- W2004781946 cites W2752853835 @default.
- W2004781946 cites W2911838076 @default.
- W2004781946 doi "https://doi.org/10.1016/j.ic.2014.07.008" @default.
- W2004781946 hasPublicationYear "2014" @default.
- W2004781946 type Work @default.
- W2004781946 sameAs 2004781946 @default.
- W2004781946 citedByCount "0" @default.
- W2004781946 crossrefType "journal-article" @default.
- W2004781946 hasAuthorship W2004781946A5051586876 @default.
- W2004781946 hasAuthorship W2004781946A5060341807 @default.
- W2004781946 hasBestOaLocation W20047819461 @default.
- W2004781946 hasConcept C199360897 @default.
- W2004781946 hasConcept C41008148 @default.
- W2004781946 hasConcept C80444323 @default.
- W2004781946 hasConcept C96146094 @default.
- W2004781946 hasConceptScore W2004781946C199360897 @default.
- W2004781946 hasConceptScore W2004781946C41008148 @default.
- W2004781946 hasConceptScore W2004781946C80444323 @default.
- W2004781946 hasConceptScore W2004781946C96146094 @default.
- W2004781946 hasFunder F4320306076 @default.
- W2004781946 hasLocation W20047819461 @default.
- W2004781946 hasOpenAccess W2004781946 @default.
- W2004781946 hasPrimaryLocation W20047819461 @default.
- W2004781946 hasRelatedWork W1527862632 @default.
- W2004781946 hasRelatedWork W2109507516 @default.
- W2004781946 hasRelatedWork W2112962394 @default.
- W2004781946 hasRelatedWork W2118300983 @default.
- W2004781946 hasRelatedWork W2135396778 @default.
- W2004781946 hasRelatedWork W2740990710 @default.
- W2004781946 hasRelatedWork W3137189469 @default.
- W2004781946 hasRelatedWork W4235530921 @default.
- W2004781946 hasRelatedWork W4243252198 @default.
- W2004781946 hasRelatedWork W81024070 @default.
- W2004781946 hasVolume "238" @default.
- W2004781946 isParatext "false" @default.
- W2004781946 isRetracted "false" @default.
- W2004781946 magId "2004781946" @default.
- W2004781946 workType "article" @default.