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), pp. 39-54.

Download

Full text not available from this repository.

Item Type: Article
Organisations: Electronics & Computer Science
ePrint ID: 250546
Date :
Date Event
July 1997Published
Date Deposited: 10 Aug 1999
Last Modified: 18 Apr 2017 00:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250546

Actions (login required)

View Item View Item