발행물

전체 논문

89

21

An Efficient Small Sized On-Card Verifier for Java Card
정민수
Springer Verlag LNCS - 직접입력, 2003

22

USIM 기반 자바카드용 CAP 파일 분석기 설계 및 구현
정민수
춘계학술발표논문집 - 직접입력, 2003

23

Development of JAVA Card Simulator based on SIM/USIM
정민수
Proceedings of Inter. con. MITA 2003, 2003

24

Design and Implementation of Modified Digital Map and Geographic Information Service System for PDA Environments
정민수
Proceedings of Inter. con. MITA2003 - 직접입력, 2003

25

자바카드 애플리케이션 활용을 위한 APDU 자동 분석기 구현
정민수
춘계학술발표논문집, 2002

26

자바가상기계 최적화를 위한 가비지 컬렉션 알고리즘과 힙 메모리 연구
정민수
춘계학술발표논문집, 2002

27

능동 네트워크용 노드를 기술하기 위한 프로그래밍 언어 연구
정민수
춘계학술발표논문집, 2002

28

KVM 상에서 효율적인 검증을 위한 스택맵 분석
정민수
춘계학술발표논문집, 2002

29

퍼스널 가상머신을 위한 프로세스 종료기법에 관한 연구
정민수
춘계학술발표논문집, 2002

30

A Study on The Optimization of Class File For Java Card Platform
정민수
Springer Verlag LNCS, 2002