Using Formal Methods to Cultivate Trust in Smart Card Operating Systems


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.

Download

Full text not available from this repository.

Item Type: Article
ISSNs: 0167-739X
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 250546
Date Deposited: 10 Aug 1999
Last Modified: 27 Mar 2014 19:51
Further Information:Google Scholar
ISI Citation Count:1
URI: http://eprints.soton.ac.uk/id/eprint/250546

Actions (login required)

View Item View Item