http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
소형 기기용 효율적인 바이트 코드 검증기술에 관한 연구
황철준,조증보,정민수 慶南大學校 附設 工業技術硏究所 2003 硏究論文集 Vol.21 No.2
USIM(Universal Subscriber Identity Module) 기술은 데이터의 관리와 보호를 하나의 소형 칩 내에 집약시킨 기술로 최근에 이 기술에 대한 관심도가 증가하고 있다. 자바카드 가상기계는 자바 언어로 작성된 프로그램이 USIM 칩 내부에서 실행 가능하도록 해준다. 하지만 자바카드 가상 기계는 자원 제약적인 디바이스의 특성으로 인하여 검증기술을 제공하지 않는다. 본 논문에서는 정적 체크 기반의 효율적인 바이트코드 검증기를 제안한다. 연구 결과 본 논문에서 제안하는 검증기는 일반적인 것에 비해 90% 이상의 사이즈가 감소되었다. As Universal Subscriber Identity Module (USIM) technology can handle, manager and protect data within a small sized chip, peopled are more interested in USIM technology lately. Java Card Virtual Machine (JCVM) enables programs written by Java programming language to be run in smart cards with USIM chips. However JCVM does not have a verifier as limits of hardware. In this paper, we propose a ByteCode verifier with novel algorithm based on Static Check policy. We experiment that the size of our verifier is reduced by 90% over generals.