Abstract
The benefits of formal methods for software engineering have been described at length in many research papers. They include among others:
-
•
Better understanding and improved communication through unambiguous descriptions.
-
•
Early bug detection thanks to the formalisation of specifications.
-
•
Possibility of formal verifications of properties of software components and systems.
-
•
Systematic testing from formal specifications.
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 subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. R. Abrial, Assigning programs to meaning, Cambridge University Press, 1996.
B. Barras et al., The Coq proof assistant reference manual, Version V6.3, Technical Report, Inria, 1999.
The Common Criteria for Information Technology Security Evaluation, http://www.commoncriteria.org/docs/aboutus.html.
Y. Ledru. Complementing semi-formal specifications with Z. Proc. 11th Knowledge-Based Software Engineering Conference, IEEE, September 1996.
J. McLean, Security models, Encyclopedia of Software Engineering, Vol. 2, John Wiley and Sons, 1994.
NIAP, The CC toolbox, http://www.niap.nist.gov/tools/cctool.html.
The Precise UML (PUML) group, http://www.cs.york.ac.uk/puml/.
B. Schnier, Attack trees, modeling security threats, Dr Dobb’s Journal, December 1999.
Trusted Logic, Computer Assisted Testing: The TL-CAT white paper, http://www.trusted-logic.fr.
Trusted Logic, From informal to formal development methods: The TL-FIT white paper, http://www.trusted-logic.fr.
L. Van Aertryck, M. Benveniste, D. Le Métayer, Casting: a formally based software test generation method, IEEE int. Conference on formal engineering methods, pp. 101–111, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bolignano, D., Le Métayer, D., Loiseaux, C. (2001). Formal Methods in Context: Security and Java Card. In: Attali, I., Jensen, T. (eds) Java on Smart Cards:Programming and Security. JavaCard 2000. Lecture Notes in Computer Science, vol 2041. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45165-X_1
Download citation
DOI: https://doi.org/10.1007/3-540-45165-X_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42167-2
Online ISBN: 978-3-540-45165-5
eBook Packages: Springer Book Archive