DeepAI AI Chat
Log In Sign Up

Specifying a Cryptographical Protocol in Lustre and SCADE

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


Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm

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

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...

Authentication by Witness Functions

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

Cumulative Message Authentication Codes for Resource-Constrained Networks

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

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-...

Architecture of Network Camera Photo Authentication Scheme using Steganography Approach

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

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...