共 50 条
- [1] Reasoning about card tears and transactions in Java']Java card [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 114 - 128
- [2] Embedded Eavesdropping on Java']Java Card [J]. INFORMATION SECURITY AND PRIVACY RESEARCH, 2012, 376 : 37 - 48
- [4] ECC programming in Java']Java Card [J]. JOURNAL OF INFORMATION ASSURANCE AND SECURITY, 2014, 9 (06):
- [5] Object lifetimes in Java']Java Card [J]. PROCEEDINGS OF THE USENIX WORKSHOP ON SMARTCARD TECHNOLOGY (SMARTCARD '99), 1999, : 129 - 137
- [6] Evaluation of Java']Java Card performance [J]. SMART CARD RESEARCH AND ADVANCED APPLICATIONS, PROCEEDINGS, 2008, 5189 : 228 - +
- [7] An efficient small sized on-card verifier for Java']Java Card [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2003, PT 2, PROCEEDINGS, 2003, 2668 : 552 - 561
- [9] Developing smart card-based applications using Java']Java Card [J]. SMART CARD RESEARCH AND APPLICATIONS, PROCEEDINGS, 2000, 1820 : 105 - 124
- [10] Verification of JAVA']JAVA CARD applets behavior with respect to transactions and card tears [J]. SEFM 2006: FOURTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2006, : 137 - +