Skip navigation
The Australian National University

CardS4: modal theorem proving on Java smart cards

Citation

Gore, R & Nguyen, P 2002, 'CardS4: modal theorem proving on Java smart cards', Journal of Telecommunications and Information Technology, vol. 4/2002, pp. 68-80.

Year

2002

ANU Authors

Field of Research

  • Computer System Security

Updated:  19 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers