共 50 条
- [41] Measurement Analysis When Benchmarking Java']Java Card Platforms [J]. INFORMATION SECURITY THEORY AND PRACTICE: SMART DEVICES, PERVASIVE SYSTEMS, AND UBIQUITOUS NETWORKS, PROCEEDINGS, 2009, 5746 : 84 - +
- [42] Experimental Comparison of Concolic and Random Testing for Java']Java Card Applets [J]. MODEL CHECKING SOFTWARE, 2010, 6349 : 22 - 39
- [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] An advanced Java card system architecture for smart card based on large RAM memory [J]. Proc. Int. Conf. Hybrid Info. Technol., 1600, (646-650):
- [45] Performance evaluation of Java']Java card bytecodes [J]. INFORMATION SECURITY THEORY AND PRACTICES: SMART CARDS, MOBILE AND UBIQUITOUS COMPUTING SYSTEMS, PROCEEDINGS, 2007, 4462 : 127 - +
- [48] Building an "impossible" verifier on a Java']Java Card [J]. USENIX ASSOCIATION PROCEEDINGS OF THE 2ND WORKSHOP ON INDUSTRIAL EXPERIENCES WITH SYSTEMS SOFTWARE (WIESS 02), 2002, : 15 - 24
- [49] An integrated development environment for Java']Java Card [J]. COMPUTER NETWORKS, 2001, 36 (04) : 391 - 405