Matches in SemOpenAlex for { <https://semopenalex.org/work/W3104116821> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W3104116821 endingPage "87" @default.
- W3104116821 startingPage "41" @default.
- W3104116821 abstract "The Message Authenticator Algorithm (MAA) is one of the first cryptographic functions for computing a Message Authentication Code. Between 1987 and 2001, the MAA was adopted in international standards (ISO 8730 and ISO 8731-2) to ensure the authenticity and integrity of banking transactions. In 1990 and 1991, three formal, yet non-executable, specifications of the MAA (in VDM, Z, and LOTOS) were developed at NPL. Since then, five formal executable specifications of the MAA (in LOTOS, LNT, and term rewrite systems) have been designed at INRIA Grenoble. This article provides an overview of the MAA and compares its formal specifications with respect to common-sense criteria, such as conciseness, readability, and efficiency of code generation." @default.
- W3104116821 created "2020-11-23" @default.
- W3104116821 creator A5020950621 @default.
- W3104116821 creator A5022400989 @default.
- W3104116821 date "2018-03-23" @default.
- W3104116821 modified "2023-10-01" @default.
- W3104116821 title "Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm" @default.
- W3104116821 cites W1411866384 @default.
- W3104116821 cites W1491960243 @default.
- W3104116821 cites W1537258615 @default.
- W3104116821 cites W2049618506 @default.
- W3104116821 cites W2092696491 @default.
- W3104116821 cites W2096370316 @default.
- W3104116821 cites W2107165730 @default.
- W3104116821 cites W2112006428 @default.
- W3104116821 cites W2127124188 @default.
- W3104116821 cites W2150010935 @default.
- W3104116821 cites W2158653467 @default.
- W3104116821 cites W2599098712 @default.
- W3104116821 cites W2757839910 @default.
- W3104116821 cites W2810491896 @default.
- W3104116821 cites W4240121599 @default.
- W3104116821 cites W4289127653 @default.
- W3104116821 cites W4300128858 @default.
- W3104116821 doi "https://doi.org/10.4204/eptcs.268.2" @default.
- W3104116821 hasPublicationYear "2018" @default.
- W3104116821 type Work @default.
- W3104116821 sameAs 3104116821 @default.
- W3104116821 citedByCount "1" @default.
- W3104116821 countsByYear W31041168212020 @default.
- W3104116821 crossrefType "journal-article" @default.
- W3104116821 hasAuthorship W3104116821A5020950621 @default.
- W3104116821 hasAuthorship W3104116821A5022400989 @default.
- W3104116821 hasBestOaLocation W31041168211 @default.
- W3104116821 hasConcept C160145156 @default.
- W3104116821 hasConcept C177264268 @default.
- W3104116821 hasConcept C199360897 @default.
- W3104116821 hasConcept C2776760102 @default.
- W3104116821 hasConcept C2778143727 @default.
- W3104116821 hasConcept C41008148 @default.
- W3104116821 hasConcept C75606506 @default.
- W3104116821 hasConceptScore W3104116821C160145156 @default.
- W3104116821 hasConceptScore W3104116821C177264268 @default.
- W3104116821 hasConceptScore W3104116821C199360897 @default.
- W3104116821 hasConceptScore W3104116821C2776760102 @default.
- W3104116821 hasConceptScore W3104116821C2778143727 @default.
- W3104116821 hasConceptScore W3104116821C41008148 @default.
- W3104116821 hasConceptScore W3104116821C75606506 @default.
- W3104116821 hasLocation W31041168211 @default.
- W3104116821 hasLocation W31041168212 @default.
- W3104116821 hasLocation W31041168213 @default.
- W3104116821 hasLocation W31041168214 @default.
- W3104116821 hasLocation W31041168215 @default.
- W3104116821 hasOpenAccess W3104116821 @default.
- W3104116821 hasPrimaryLocation W31041168211 @default.
- W3104116821 hasRelatedWork W1547140629 @default.
- W3104116821 hasRelatedWork W1576042299 @default.
- W3104116821 hasRelatedWork W1584210087 @default.
- W3104116821 hasRelatedWork W2026046761 @default.
- W3104116821 hasRelatedWork W2051386633 @default.
- W3104116821 hasRelatedWork W2065824523 @default.
- W3104116821 hasRelatedWork W2111403313 @default.
- W3104116821 hasRelatedWork W2743135336 @default.
- W3104116821 hasRelatedWork W4361193698 @default.
- W3104116821 hasRelatedWork W1941754455 @default.
- W3104116821 hasVolume "268" @default.
- W3104116821 isParatext "false" @default.
- W3104116821 isRetracted "false" @default.
- W3104116821 magId "3104116821" @default.
- W3104116821 workType "article" @default.