| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMSL/MAASL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 444 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
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.13 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28