Skip navigation
The Australian National University

CardKt: Automated multi-modal deduction on Java cards for multi-application security

Citation

Gore, R & Nguyen, P 2001, 'CardKt: Automated multi-modal deduction on Java cards for multi-application security', in Attali, I & Jensen, T (ed.), Java on Smart Cards: Programming and Security, Springer, Berlin, pp. 38-51.

Year

2001

ANU Authors

Field of Research

  • Analysis Of Algorithms And Complexity

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