arXiv 2004.142122020-04-28cs.CRcs.PL

Lustre和SCADE中的一个密码协议

Specifying a Cryptographical Protocol in Lustre and SCADE

Lina Marsso

备注：: In Proceedings MARS 2020, arXiv:2004.12403. arXiv admin note: text overlap with arXiv:1703.06573
发表信息：: EPTCS 316, 2020, pp. 149-199
DOI：: 10.4204/EPTCS.316.7

摘要：

我们目前的SCADE和光泽模型的消息认证算法（MAA），这是第一个加密功能计算的消息认证码。1987年至2001年期间，在国际标准（ISO 8730和ISO 8731-2）中通过了《银行交易管理法》，以确保银行交易的真实性和完整性。本文讨论了我们的MAA实现的选择和挑战。我们的SCADE和Lustre模型验证了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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。