• The KIPS Transactions:PartC
• /
• v.13C no.3 s.106
• /
• pp.275-282
• /
• 2006

There are several independent applets to support various applications in a Java Card. Each applet in a Java Card processes and manages its own data without concern to other applets and their data. In this paper we proposed file system API to support efficient file management based on Java Card. Also we designed and implemented Java Card based file system API using basic API and referring to the file system standard defined in ISO 7816-4 Smart Card standard. By using proposed file system API, we can replace duplications of same code in each applet with short method call. So the used memory space and processing time is reduced and also the reduction of development time and cost will be expected.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.517-520
• /
• 2004

자바카드 API는 스마트 카드와 같은 작은 메모리를 가진 임베디드 장치에서 실행환경을 최적화하기 위해 구성되었다. 자바카드 API의 목적은 한정된 메모리를 가진 스마트카드 기반의 프로그램을 개발할 때 많은 이점을 제공한다. 본 논문에서는 자바 카드 API를 이용하여 공개키 암호 알고리즘 중에서 대표적인 RSA 알고리즘 구현하는 것에 목적을 둔다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.583-585
• /
• 2002

자바카드의 큰 특징 중의 하나는 바로 필요한 응용프로그램이나 Library를 카드가 발급된 후에도 카드 상에 업로드 시켜 이용할 수 있다는 것이다. 하지만 카드를 발급할 때 Mask형태로 ROM상에 올려져 있는 API의 경우 수정하는 것이 불가능하며 또한 단순히 새로운 API를 추가한다 하더라도 기존에 이를 사용하던 애플릿의 변경이 불가피 하게 된다. 본 논문에서는 발급 후 API를 추가하는 예를 보이고 이런 문제점을 개선한 모델을 제시하여 보다 유연한 API 개발 환경을 제공하게 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1115-1118
• /
• 2004

최근 자바카드 기술이 기존의 스마트카드 기술의 문제점들을 해결할 수 있는 새로운 대안으로 등장하고 있고, 카드 소유자의 사용자 인증은 자바카드의 활용을 위해 필수적인 부분이다. 이에 본 논문에서는 스마트카드 상에서 자바카드 실행 환경을 위한 바이오메트릭 API의 구현을 통해 사용자 인증 시스템 구축 방법에 관하여 기술하였다. 본 논문은 먼저 자바카드에 관한 기술 동향 및 분석 등을 기술하였고, 자바카드 바이오메트릭 API에 관하여 설명하였다. 또한, 구현된 바이오메트릭 API를 사용하여 기존의 스마트카드에서 사용되었던 다양한 인증 수단 외에 다양한 생체 정보들을 이용하여 사용자 인증을 제공할 수 있도록 하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10b
• /
• pp.839-842
• /
• 2001

자바카드 API는 스마트 카드와 같은 작은 메모리를 가진 임베디드 장치에서 실행환경을 최적화하기 위해 구성되었다. 자바카드 API의 목적은 한정된 메모리를 가진 스마트카드 기반의 프로그램을 개발한 때 많은 이점을 제공한다. 본 논문에서는 자바 카드 API를 이용하여 공개키 암호 알고리즘 중에서 대표적인 RSA 알고리즘을 구현하는 것에 목적을 둔다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.452-457
• /
• 2003

자바카드 API는 스마트 카드와 같은 작은 메모리를 가진 임베디드 장치에서 실행환경을 최적화하기 위해 구성되었다. 자바카드 API의 목적은 한정된 메모리를 가진 스마트카드 기반의 프로그램을 개발할 때 많은 이점을 제공한다. 그러나 공개키 암호 알고리즘 구현에 필요한 연산들인 모듈러 연산, 최대공약수 계산, 그리고 소수 판정과 생성 등의 연산을 지원하지 않는다. 본 논문에서는 이러한 기능을 제공하는 자바카드 기반 BigInteger 클래스의 설계 및 구현에 목적을 둔다.

• The KIPS Transactions:PartC
• /
• v.9C no.2
• /
• pp.163-172
• /
• 2002

Java Card API porvide benifit for development program based on smart card using limmited resource. This APIs does not support arithmetic operations such as modular arithmetic, greatest common divisor calculation, and generation and certification of prime number, which is necessary arithmetic in PKI algorithm implementation. In this paper, we implement class BigInteger acted in the Java Card platform because that Java Card APIs does not support class BigInteger necessary in implementation of PKI algorithm.

• Proceedings of the Korea Contents Association Conference
• /
• 2004.05a
• /
• pp.283-288
• /
• 2004

Authentication and digital signature make secured existing contract in remote spot. But, It required method of storing and managing secret, such as private key password. For this method, we make efforts solution of security with smart cart, such as java card. This paper implement SEED algorithm based on Java Card

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.484-486
• /
• 2002

이 논문에서는 자바 카드를 위한 통합 테스트 및 디버깅 환경에 대해 기술하고 있으며, 제안한 통합 개발 환경은 J-JCRE (Java language based Java Card Runtime Environment) 와 Java Card API (Application Programming Interface)로 구성되어 있다. 또한, 개발 환경은 현재 두 가지 암호 알고리즘을 지원해주며, 스크립트 실행, 시스템 클래스의 소스 레벨 디버깅, 클라이언트/서버 skeleton 자동 생성 등 다양한 기능을 제공해 준다. 제안한 통합 개발 환경을 이용함으로써 사용자들은 실제 자바 카드에 응용 프로그램을 탑재하기 전에 응용 프로그램 테스트 및 디버깅을 통해 프로그램상의 오류 밀 에러를 미리 점검하여 수정할 수 있게 된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.367-370
• /
• 2001

최근 다양한 어플리케이션과 전용 임베디드 시스템의 개발 필요성이 증가하고 있으며 이는 Smart Community를 추구하는 디지털 지식사회의 중요한 이슈가 되고 있다. 현재 상용화되고 있는 대부분의 실시간 임베디드 시스템들을 다양한 측면에서 자사의 제품 기준에 따르는 기술적 특징과 성능 지표를 제공하고 있으며 이를 통한 성능 품질 등의 판단 근거로 제시되고 있다. 그러나 각 자료들이 공인 기관에서 제공되지 않아 자료의 신뢰도가 낮으며 따라서 성능측정 및 품질척도로 비교하는데는 어려움이 있다 따라서 본 연구는 이러한 문제점을 착안하여 자바 카드 API의 품질 평가를 위해서 사전에 테스트를 거쳐 좀더 신뢰성과 안전성이 높은 자바 카드 애플릿을 개발하고자 한다. 이에 가장 중요한 부분 중에 하나인 에러체크를 통해 임의적으로 에러 처리 시나리오를 작성해서 그 시나리오를 거친 테스트 데이터를 생성한 후, 그 데이터를 가지고 API의 풀질 평가를 하고자 하는데 목적이 있다. 이에 본 논문에서는 테스트 데이터 생성 시나리오를 제안하였다. 단지 제안만 해 놓았기 때문에 향후 이 시나리오를 거친 테스트 데이터 생성을 연구하고자 한다. 또한, Verification을 위해 수학에 기초를 둔 정형 기법(Formal Method)을 이용하여 좀더 깊이 있고, 정확한 검증을 수행 하고자 한다.