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 |
| Item ID: | 250546 |
| Date Deposited: | 10 Aug 1999 |
| Last Modified: | 02 Mar 2012 12:38 |
| Contributors: | Alberda, M. I. (Author) Hartel, P. H. (Author) Frz, E. K. de Jong (Author) |
| Date: | July 1997 |
| Status: | Published |
| Further Information: | Google Scholar |
| ISI Citation Count: | 1 |
| URI: | http://eprints.soton.ac.uk/id/eprint/250546 |
Actions (login required)
 |
View Item |
