Book ChapterDOI
Specification of the MAA Standard in VDM
Graeme Parkin,G. O'Neill +1 more
- pp 526-544
TLDR
A detailed example is given of how a formal specification language has been used to specify an international banking standard on message authentication.Abstract:
A detailed example is given of how a formal specification language has been used to specify an international banking standard on message authentication. It illustrates how a specification language can be used to specify and validate a standard.read more
Citations
More filters
The C programming language
TL;DR: This ebook is the first authorized digital version of Kernighan and Ritchie's 1988 classic, The C Programming Language (2nd Ed.), and is a "must-have" reference for every serious programmer's digital library.
Proceedings ArticleDOI
SPARK—an annotated Ada subset for safety-critical programming
TL;DR: In the UK it is increasingly becoming a requirement for safety-critical software both military and civil to be subjected to “static code analysis”, and in some instances formal verification, i.e. mechanically-checked proof that a program meets its specification (or at least, a formal statement of its safety requirements).
Book ChapterDOI
Automatic Translation of VDM-SL Specifications into Gofer
TL;DR: This paper describes how programs in a modern functional language may be automatically generated from formal specifications, and demonstrates the success of the approach by describing errors found in published specifications.
Journal ArticleDOI
A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm
Hubert Garavel,Lina Marsso +1 more
TL;DR: A term rewrite system that formally models the Message Authenticator Algorithm (MAA) was presented in this article, which was one of the first cryptographic functions for computing a Message Authentication Code and was adopted, between 1987 and 2001, in international standards (ISO 8730 and ISO 8731-2) to ensure the authenticity and integrity of banking transactions.
Book ChapterDOI
Vienna Development Method
V. S. Alagar,K. Periyasamy +1 more
TL;DR: The Vienna Development Method is an environment for the modeling and development of sequential software systems and the current version of the VDM specification language, VDM-SL, has been standardized by the International Standards Organization (ISO).
References
More filters
Book
Systematic software development using VDM
TL;DR: Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation decomposition.
The C programming language
TL;DR: This ebook is the first authorized digital version of Kernighan and Ritchie's 1988 classic, The C Programming Language (2nd Ed.), and is a "must-have" reference for every serious programmer's digital library.
Book
The C Programming Language
TL;DR: The C Programming Language (2nd Ed.) as discussed by the authors is the first authorized digital version of Kernighan and Ritchie's 1988 classic, The C Programming Languages (1st Ed.).
Journal ArticleDOI
Security for computer networks : D.W. Davies and W.L. Price New York: John Wiley and Sons, 1984. 386 + xix pages, $19.50
Journal Article
An overview of Miranda.
TL;DR: Miranda as discussed by the authors is an advanced functional programming system which runs under the UNIX operating system (UNIX) for teaching and as a general purpose programming tool, with a focus on the development of a modern functional language, embedded in a convenient programming environment.