Alberda, M. I., Hartel, P. H. and Frz, E. K. de Jong (1997) Using Formal Methods to Cultivate Trust in Smart Card Operating Systems. Future Generation Computer Systems, 13 (1), 39-54.
Record type:
Article
This record has no associated files available for download.
More information
Published date: July 1997
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250546
URI: http://eprints.soton.ac.uk/id/eprint/250546
PURE UUID: 0190bdbc-dba8-4013-808f-8c156d9cbedc
Catalogue record
Date deposited: 10 Aug 1999
Last modified: 08 Jan 2022 08:45
Export record
Contributors
Author:
M. I. Alberda
Author:
P. H. Hartel
Author:
E. K. de Jong Frz
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.