共 50 条
- [41] Advanced control flow in Java']Java card programming [J]. ACM SIGPLAN NOTICES, 2004, 39 (07) : 165 - 174
- [43] 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 - +
- [44] A Java']Java processor suitable for applications of Smart Card [J]. 2001 4TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, 2001, : 736 - 739
- [45] Static program analysis for Java']Java Card applets [J]. SMART CARD RESEARCH AND ADVANCED APPLICATIONS, PROCEEDINGS, 2008, 5189 : 17 - +
- [46] Developing JAVA']JAVA Card Application with RMI API [J]. INTERNATIONAL CONFERENCE ON SOLID STATE DEVICES AND MATERIALS SCIENCE, 2012, 25 : 643 - 650
- [47] A secure object sharing scheme for Java']Java Card [J]. INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS, 2002, 2513 : 243 - 251
- [48] Secure object flow analysis for Java']Java Card [J]. USENIX ASSOCIATION AND IFIP WG 8.8 (SMART CARDS) PROCEEDINGS OF CARDIS '02 FIFTH SMART CARD RESEARCH AND ADVANCED APPLICATION CONFERENCE, 2002, : 97 - 110
- [50] High Performance Java']Java Card Operating System [J]. 2014 EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY, 2014, : 30 - 39