References
- 알앤디비즈 (2005). <스마트카드 시장분석 및 전망>, 알앤디비즈 기술 보고서.
- 알앤디비즈 (2006). <스마트 카드 (Smart Card) 시장동향 리포트>, 알앤디비즈 기술 보고서.
- 진민식 (2006). An enhanced java card system for fast execution of applet. <박사논문>, 경남대학교 대학원.
- 최원호 (2005). 자바 카드 프로그램 적재 및 실행 속도 개선에 관한 연구. <박사 논문 >, 경남대학교 대학원.
-
탁승호 (2004).
, 성안당. -
한진희 (2003). 스마트카드 플랫폼 기술.
, 90, 75-82. - Baentsch, M., Buhler, P., Eirich, T., Horing, F. and Oestreicher, M. (1999). Java card-from hype to reality. IEEE Concurrency, 36-43.
- Beckert, B. and Mostowski, W. (2003). A program logic for handling java card’s transaction mechanism, In Pezze, M., ed.: Fundamental approaches to software engineering. FASE’ 2003, 2621, 246-260
- Chen, Z. (2000). Java card technology for smart cards, Addison-Wesley.
- Gal, E. and Toledo, S. (2005), Algorithms and data structure for flash memories. ACM Computing Surveys, 37, 138-163. https://doi.org/10.1145/1089733.1089735
- Hansmann, U., Nicklous, M. S., Schack, T. and Seliger, F. (2002). Smart Card Application Development Using Java, Springer.
- Hahnle, R. and Mostowski, W. (2005). Verification of safety properties in the presence of transactions. CASSIS 2005, 3362, 151-171.
- Huang, A. J. R. (2007). Dynamic flash-memory allocation for smartcards: how to cope with limited space (in a short life). 2007 5th IEEE International Conference, 2, 835-840.
- Hwang, S. Y. and Hahm, J. H. (2003), MDPREF and perceptual map via INDSCAL method. Journal of the Korean Data & Information Science Society, 14, 501-510.
- Jin, M. and Jung, M. (2005). A study on how to reduce time and space by redefining new bytecode for java card. RTCSA 2005, 551-554.
- John Wiley & Sons (2003). Wolfgang Rankl and Wolfgang Effing, Smart Card Handbook.
- Marche, C. and Rousset, N. (2006). Verification of JAVA CARD applets behavior with respect to transactions and card tears. SEFM’06, 137-146.
- Oestreicher, M. (1999). Transactions in java card. In 15th Annual Computer Security Applications Conferrence, 291-298.
- Qabs, U. M. and Al-Naima, F. M. (2008). Design and implementation of a smart card simulator. Computer and Communication Engineering, ICCCE 2008, 217-220.
- Ryu, K. H. and Park, H. C. (2006), Web-based DNA microarray data analysis tool. Journal of the Korean Data & Information Science Society, 17, 1161-1167.
- Sharp (2005). Addressing security concerns of flash memory in smart cards. Application Note SMA04036.
- Shasha, Nir, Toledo and Sivan (2007). Storing a persistent transactional object heap on flash memory. Software-Science, Technology & Engineering, SwSTE 2007, 66-76.
- Spivak, M. and Toledo, S. (2006). Storing a persistent transactional object heap on flash memory. ACM SIGPLAN Notices, 22-33.
- Sun Microsystems (2003a). The Java CardTM2.2.1 Virtual Machine Specification, SUN.
- Sun Microsystems (2003b). The Java CardTM2.2.1 Runtime Enviroment (JCRE) Specification, SUN.
- Venners, B. (1997). Inside the Java Virtual Machine, McGraw-Hill.
- Yang, Y., Choi, W., Jin, M., Hwang, C. and Jung, M. (2006). An advanced java card system architecture for smart card based on large RAM memory. Hybrid Information Technology 2006, 2, 646-650.