论文标题
在光泽和SCADE中指定密码协议
Specifying a Cryptographical Protocol in Lustre and SCADE
论文作者
论文摘要
我们提出了消息身份验证算法（MAA）的SCADE和光泽模型，这是计算消息身份验证代码的第一个加密功能之一。 MAA是在1987年至2001年之间的国际标准（ISO 8730和ISO 8731-2）之间通过的，以确保银行交易的真实性和完整性。本文讨论了我们MAA实施的选择和挑战。我们的Scade和Luster模型验证了MAA的201官方测试向量。
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.
