Abstract
You can almost hear the snores of the audience, what can be the importance of Z and all their formal methods?
People used to say the same thing about number theory and other branches of advanced mathematics and then suddenly the world changed. Cryptography and in particular public key systems have become the cornerstone of electronic commerce. Advanced statistical methods can be found in almost every facet of our modern electronic world from advanced financial engineering methods to data mining.
In this paper we are going to explore the practical use of formal methods in two major commercial products, Mondex the fully transferable electronic cash alternative and Multos the first multi-application operating system for Smart Cards.
Both of these projects have been evaluated and certified to ITSEC level E6.
Would we do it again????
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Everett, D. (2000). Zzzzzzzzzzzzzzzzzzzzzzzzzz. In: ZB 2000: Formal Specification and Development in Z and B. ZB 2000. Lecture Notes in Computer Science, vol 1878. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44525-0_26
Download citation
DOI: https://doi.org/10.1007/3-540-44525-0_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67944-8
Online ISBN: 978-3-540-44525-8
eBook Packages: Springer Book Archive