요약본 발명은 스마트카드같은 자원에 제약을 받는 장치 상에서 실행코드의 검증을 효율적으로 할 수 있는 방법 및 장치에 관한 것이다. 본 발명은 카드 외부의 실행코드 검증기인 오프카드검증기(off-card verifier)와 연계되어 수행되는 스마트카드 상의 온카드검증기(on-card verifier)를 제공한다. 오프카드검증기에서 검증으로 이상이 없는 실행코드는, 실행 프로그램으로서, 오프카드검증기의 검증결과를 토대로 만들어진 온카드검증에 필요한 데이터와 같이 스마트카드 상에 다운로드된다. 다운로드된 실행코드는 스마트카드에서 실제 수행되기 전 온카드검증이 수행된다. 온카드검증에서 필요한 데이터 부분은 다운로드되는 프로그램에서 사용되는 빈도가 높은 바이트코드를 대상으로, 이 바이트코드에 특정적인 데이터 타입을 체크하는 정보로 만들어지는데, 바이트코드 검증 중 검사대상이 나오면 이 바이트코드에 특정적인 데이터타입이 쓰였는지에 대해 빠르게 검증을 해 나가는 효율적인 방법이다. 온카드검증기 부
