|
Author: Graeme Parkin
This specification is of the Message Authenticator Algorithm (MAA)
standard is used in the area of data security in banking and the scope
of the standard is authentication. More details can be found in:
G.I. Parkin and G O'Neill, "Specification of the MAA standard in
VDM'', In S. Prehn and W.J. Toetenel (eds), "VDM'91: Formal Software
Development Methods'', Springer-Verlag, October 1991.
Language Version: classic
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
