Matches in SemOpenAlex for { <https://semopenalex.org/work/W3099374612> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W3099374612 endingPage "199" @default.
- W3099374612 startingPage "149" @default.
- W3099374612 abstract "We present SCADE and Lustre models of the Message Authenticator Algorithm (MAA), which is one of the first cryptographic functions for computing a message authentication code. The MAA was adopted between 1987 and 2001, in international standards (ISO 8730 and ISO 8731-2), to ensure the authenticity and integrity of banking transactions. This paper discusses the choices and the challenges of our MAA implementations. Our SCADE and Lustre models validate 201 official test vectors for the MAA." @default.
- W3099374612 created "2020-11-23" @default.
- W3099374612 creator A5020950621 @default.
- W3099374612 date "2020-04-26" @default.
- W3099374612 modified "2023-10-02" @default.
- W3099374612 title "Specifying a Cryptographical Protocol in Lustre and SCADE" @default.
- W3099374612 cites W2012163960 @default.
- W3099374612 cites W2012593910 @default.
- W3099374612 cites W2049777185 @default.
- W3099374612 cites W2081938726 @default.
- W3099374612 cites W2092696491 @default.
- W3099374612 cites W2112006428 @default.
- W3099374612 cites W2125415493 @default.
- W3099374612 cites W2599098712 @default.
- W3099374612 cites W2787362676 @default.
- W3099374612 cites W3104116821 @default.
- W3099374612 doi "https://doi.org/10.4204/eptcs.316.7" @default.
- W3099374612 hasPublicationYear "2020" @default.
- W3099374612 type Work @default.
- W3099374612 sameAs 3099374612 @default.
- W3099374612 citedByCount "0" @default.
- W3099374612 crossrefType "journal-article" @default.
- W3099374612 hasAuthorship W3099374612A5020950621 @default.
- W3099374612 hasBestOaLocation W30993746121 @default.
- W3099374612 hasConcept C111919701 @default.
- W3099374612 hasConcept C149635348 @default.
- W3099374612 hasConcept C178489894 @default.
- W3099374612 hasConcept C180699724 @default.
- W3099374612 hasConcept C199360897 @default.
- W3099374612 hasConcept C26713055 @default.
- W3099374612 hasConcept C2780940931 @default.
- W3099374612 hasConcept C38652104 @default.
- W3099374612 hasConcept C41008148 @default.
- W3099374612 hasConceptScore W3099374612C111919701 @default.
- W3099374612 hasConceptScore W3099374612C149635348 @default.
- W3099374612 hasConceptScore W3099374612C178489894 @default.
- W3099374612 hasConceptScore W3099374612C180699724 @default.
- W3099374612 hasConceptScore W3099374612C199360897 @default.
- W3099374612 hasConceptScore W3099374612C26713055 @default.
- W3099374612 hasConceptScore W3099374612C2780940931 @default.
- W3099374612 hasConceptScore W3099374612C38652104 @default.
- W3099374612 hasConceptScore W3099374612C41008148 @default.
- W3099374612 hasLocation W30993746121 @default.
- W3099374612 hasLocation W30993746122 @default.
- W3099374612 hasLocation W30993746123 @default.
- W3099374612 hasLocation W30993746124 @default.
- W3099374612 hasLocation W30993746125 @default.
- W3099374612 hasOpenAccess W3099374612 @default.
- W3099374612 hasPrimaryLocation W30993746121 @default.
- W3099374612 hasRelatedWork W1485630101 @default.
- W3099374612 hasRelatedWork W1964111820 @default.
- W3099374612 hasRelatedWork W1984757784 @default.
- W3099374612 hasRelatedWork W2083338789 @default.
- W3099374612 hasRelatedWork W2112962394 @default.
- W3099374612 hasRelatedWork W2118300983 @default.
- W3099374612 hasRelatedWork W2166247150 @default.
- W3099374612 hasRelatedWork W3137189469 @default.
- W3099374612 hasRelatedWork W4235530921 @default.
- W3099374612 hasRelatedWork W4243252198 @default.
- W3099374612 hasVolume "316" @default.
- W3099374612 isParatext "false" @default.
- W3099374612 isRetracted "false" @default.
- W3099374612 magId "3099374612" @default.
- W3099374612 workType "article" @default.