Autor:	Marsso, Lina
Rok vydání:	2020
Předmět:	Computer Science - Cryptography and Security Computer Science - Programming Languages
Zdroj:	EPTCS 316, 2020, pp. 149-199
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.316.7
Popis:	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. Comment: In Proceedings MARS 2020, arXiv:2004.12403. arXiv admin note: text overlap with arXiv:1703.06573
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2004.14212 Zobrazit plný text záznamu View this record from Arxiv