AI Chat AI Image Generator AI Video Text to Speech

Specifying a Cryptographical Protocol in Lustre and SCADE

04/28/2020

∙

by Lina Marsso, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 03/27/2018

Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm

The Message Authenticator Algorithm (MAA) is one of the first cryptograp...

0 Hubert Garavel, et al. ∙

research

∙ 05/10/2020

A Generic Message Authentication Code: A combination of the Inter MAC and Carter-Wegman MAC

Message Authentication Code (MAC) is a method for providing integrity an...

0 Chi Tran, et al. ∙

research

∙ 03/14/2019

Authentication by Witness Functions

Witness functions have recently been introduced in cryptographic protoco...

0 Jaouhar Fattahi, et al. ∙

research

∙ 01/15/2020

Cumulative Message Authentication Codes for Resource-Constrained Networks

In emerging applications, such as intelligent automotive systems, Intern...

0 He Li, et al. ∙

research

∙ 09/25/2019

Implementation of three LWC Schemes in the WiFi 4-Way Handshake with Software Defined Radio

In this paper, we present the implementation setup of the IEEE 802.1X 4-...

0 Yunjie Yi, et al. ∙

research

∙ 10/03/2021

Architecture of Network Camera Photo Authentication Scheme using Steganography Approach

The aim of integrity protection process is not only to secure the send m...

0 Ahmad M Nagm, et al. ∙

research

∙ 06/04/2021

The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning

In this paper, we propose a new approach to infer state machine models f...

0 Chris McMahon Stone, et al. ∙