Matches in SemOpenAlex for { <https://semopenalex.org/work/W2599098712> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2599098712 endingPage "183" @default.
- W2599098712 startingPage "129" @default.
- W2599098712 abstract "We present a term rewrite system that formally models the Message Authenticator Algorithm (MAA), which was one of the first cryptographic functions for computing a Message Authentication Code and was adopted, between 1987 and 2001, in international standards (ISO 8730 and ISO 8731-2) to ensure the authenticity and integrity of banking transactions. Our term rewrite system is large (13 sorts, 18 constructors, 644 non-constructors, and 684 rewrite rules), confluent, and terminating. Implementations in thirteen different languages have been automatically derived from this model and used to validate 200 official test vectors for the MAA." @default.
- W2599098712 created "2017-04-07" @default.
- W2599098712 creator A5020950621 @default.
- W2599098712 creator A5022400989 @default.
- W2599098712 date "2017-03-15" @default.
- W2599098712 modified "2023-10-05" @default.
- W2599098712 title "A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm" @default.
- W2599098712 cites W1491960243 @default.
- W2599098712 cites W1503535982 @default.
- W2599098712 cites W1537258615 @default.
- W2599098712 cites W2092696491 @default.
- W2599098712 cites W2096370316 @default.
- W2599098712 cites W2112006428 @default.
- W2599098712 cites W2115215132 @default.
- W2599098712 cites W2127124188 @default.
- W2599098712 cites W2150010935 @default.
- W2599098712 cites W4240121599 @default.
- W2599098712 cites W4289127653 @default.
- W2599098712 doi "https://doi.org/10.4204/eptcs.244.6" @default.
- W2599098712 hasPublicationYear "2017" @default.
- W2599098712 type Work @default.
- W2599098712 sameAs 2599098712 @default.
- W2599098712 citedByCount "4" @default.
- W2599098712 countsByYear W25990987122018 @default.
- W2599098712 countsByYear W25990987122020 @default.
- W2599098712 crossrefType "journal-article" @default.
- W2599098712 hasAuthorship W2599098712A5020950621 @default.
- W2599098712 hasAuthorship W2599098712A5022400989 @default.
- W2599098712 hasBestOaLocation W25990987121 @default.
- W2599098712 hasConcept C11413529 @default.
- W2599098712 hasConcept C121332964 @default.
- W2599098712 hasConcept C141492731 @default.
- W2599098712 hasConcept C148417208 @default.
- W2599098712 hasConcept C177264268 @default.
- W2599098712 hasConcept C178489894 @default.
- W2599098712 hasConcept C199360897 @default.
- W2599098712 hasConcept C26713055 @default.
- W2599098712 hasConcept C2776760102 @default.
- W2599098712 hasConcept C38652104 @default.
- W2599098712 hasConcept C41008148 @default.
- W2599098712 hasConcept C61797465 @default.
- W2599098712 hasConcept C62520636 @default.
- W2599098712 hasConcept C80444323 @default.
- W2599098712 hasConceptScore W2599098712C11413529 @default.
- W2599098712 hasConceptScore W2599098712C121332964 @default.
- W2599098712 hasConceptScore W2599098712C141492731 @default.
- W2599098712 hasConceptScore W2599098712C148417208 @default.
- W2599098712 hasConceptScore W2599098712C177264268 @default.
- W2599098712 hasConceptScore W2599098712C178489894 @default.
- W2599098712 hasConceptScore W2599098712C199360897 @default.
- W2599098712 hasConceptScore W2599098712C26713055 @default.
- W2599098712 hasConceptScore W2599098712C2776760102 @default.
- W2599098712 hasConceptScore W2599098712C38652104 @default.
- W2599098712 hasConceptScore W2599098712C41008148 @default.
- W2599098712 hasConceptScore W2599098712C61797465 @default.
- W2599098712 hasConceptScore W2599098712C62520636 @default.
- W2599098712 hasConceptScore W2599098712C80444323 @default.
- W2599098712 hasLocation W25990987121 @default.
- W2599098712 hasLocation W25990987122 @default.
- W2599098712 hasLocation W25990987123 @default.
- W2599098712 hasLocation W25990987124 @default.
- W2599098712 hasLocation W25990987125 @default.
- W2599098712 hasLocation W25990987126 @default.
- W2599098712 hasOpenAccess W2599098712 @default.
- W2599098712 hasPrimaryLocation W25990987121 @default.
- W2599098712 hasRelatedWork W1535543249 @default.
- W2599098712 hasRelatedWork W1598820353 @default.
- W2599098712 hasRelatedWork W1984757784 @default.
- W2599098712 hasRelatedWork W2004128158 @default.
- W2599098712 hasRelatedWork W2039540146 @default.
- W2599098712 hasRelatedWork W2117588435 @default.
- W2599098712 hasRelatedWork W2147276925 @default.
- W2599098712 hasRelatedWork W2169281217 @default.
- W2599098712 hasRelatedWork W2943977292 @default.
- W2599098712 hasRelatedWork W4254959139 @default.
- W2599098712 hasVolume "244" @default.
- W2599098712 isParatext "false" @default.
- W2599098712 isRetracted "false" @default.
- W2599098712 magId "2599098712" @default.
- W2599098712 workType "article" @default.