文章基本信息

标题：Security Architecture and Verification of Java Bytecode
本地全文：下载
作者：Ankit Tyagi ; Abhishek Anand ; Archana Bharti 等
期刊名称：International Journal of Innovative Research in Computer and Communication Engineering
印刷版ISSN：2320-9798
电子版ISSN：2320-9801
出版年度：2014
卷号：2
期号：11
出版社：S&S Publications
摘要：Bytecode is a stack based java virtual machine instruction set that contains 202 instructions, not only itprovides architectural independence to java but also ensures that the code is secure and portable. It has widely evolvedinto a topic of high importance , for the industrial organizations as well as academic institutions. The industry derive it'sinterest because of the fact that bytecode is used specifically for websites and mobile device applications namely: cellphones, metro cards, credit cards, internet banking etc where security is of prime importance. Moreover it allowsclasses to load dynamically which results into an additional dare for those applications which contains formal methods.Also, the poor structuredness of the code and the operand stack being pervasively present results in furthermorechallenges for the analysis of bytecode. This paper reviews the theoretical aspects of analysis, transformation,verification and security of Java bytecode by presenting the existing ways of java bytecode verification and proposingsome optimizations.
关键词：JVM; Bytecode; JVML; ClassLoader; SecurityManager; JRE