Referenced Items are not available for this document.
A description is given of the application of formal specification and verification methods to two microprocessor-based cryptographic devices: a `smart token' system that controls access to a network of workstations, and a message authentication device implementing the ANSI X9.9 message authentication standard. Formal specification and verification were found to be practical, cost-effective tools for detecting potential security weaknesses, and helped to significantly strengthen the security of the access control system
Published in:
Computer Security Applications Conference, 1990., Proceedings of the Sixth Annual
Date of Conference: 3-7 Dec 1990
- Page(s):
- 32 - 43
- Meeting Date :
- 03 Dec 1990-07 Dec 1990
- Print ISBN:
- 0-8186-2105-2
- INSPEC Accession Number:
- 4031739
- Conference Location :
- Tucson, AZ
- Digital Object Identifier :
- 10.1109/CSAC.1990.143748
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
