Specification of the MAA standard in VDM-Reference-Cited by-同舟云学术

Specification of the MAA standard in VDM

Published:1991 Issue: Volume: Page:526-544
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Parkin G. I.,O'Neill G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-54834-3_31.pdf

Reference21 articles.

1. BS 7102 (2):1989, 8731-02:1987. Banking — Approved algorithm for message authentication — Part 2: Message authenticator algorithms. Obtainable from: Sales Department, BSI, Linford Wood, Milton Keynes, MK14 6LE.

2. G.I. Parkin and G. O'Neill. Specification of the MAA Standard in VDM. NPL Report DITC 160/90. February 1990.

3. BS 7101:1989, ISO 8730:1986. Protecting authentic wholesale messages between financial institutions. Obtainable from: Sales Department, BSI, Linford Wood, Milton Keynes, MK14 6LE.

4. D.W. Davies and D.O. Clayden. The Message Authenticator Algorithm (MAA) and its Implementation. NPL Report DITC 109/88. February 1988.

5. C.B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, 1986.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm;Electronic Proceedings in Theoretical Computer Science;2018-03-23

2. A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm;Electronic Proceedings in Theoretical Computer Science;2017-03-15

3. Vienna Development Method;Texts in Computer Science;2011

4. Vienna Development Method;Specification of Software Systems;1998

5. Automatic translation of VDM-SL specifications into gofer;FME '97: Industrial Applications and Strengthened Foundations of Formal Methods;1997