A flexible invocation framework for Java Card

DOI10.1007/3-540-45418-7_16MaRDI QIDQ4785560zbMATH OpenFDO

Authors Ksheerabdhi Krishna, Michael R. Montgomery

Publication date 5 January 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2140/21400188

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• Towards a full formal specification of the JavaCard API
• A programming and a modelling perspective on the evaluation of Java card implementations
• JCCM: Flexible certificates for smartcards with Java card
• A simple(r) interface distribution mechanism for Java card
• Implementation of Java card virtual machine

Cited in

(2)

• A simple(r) interface distribution mechanism for Java card
• A program logic for handling Java Card's transaction mechanism

This page was built for publication: A flexible invocation framework for Java Card

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4785560)