자바 바이트코드의 검증을 위한 프레임워크 설계

• Published in: (사)디지털산업정보학회 논문지, 7(2) Vol. 7; no. 2; pp. 29 - 37
• Main Authors: 김제민, 박준석, 유원희, Kim, Je Min, Park, Joon Seok, Yoo, Weon Hee
• Format: Journal Article
• Language: Korean
• Published: (사)디지털산업정보학회 01.06.2011
• Subjects: 컴퓨터학; Java Bytecode; Proof Carrying Code; Verification

Java bytecode verification is a critical process to guarantee the safety of transmitted Java applet on the web or contemporary embedded devices. We propose a design of framework which enables to analyze and verify java bytecode. The designed framework translates from a java bytecode into the interme...