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
2001ANU Authors
Field of Research
- Analysis Of Algorithms And Complexity