Definition
Mechanism used by the Java Virtual Machine (JVM) to chek the Java Language typing rules on a client device. This algorithm includes type inference and fix point calculus.
Background
The bytecode verification algorithm for the JVM has been developed at Sun by Gosling and Yellin. It is based on a dataflow analysis performed by an abstract interpreter that executes JVM instruction over types instead of values. This verification is done at loading time that allows the interpreter to be executed without checks safely.
Applications
The byte code verification aims to enforce static security constraints on Java-based mobile code: the applet. Such a code can be downloaded and executed on a personal device running a browser. This popular model raises security issues concerning the access to personal information on the client side. To avoid it, Java uses a strong typed language associated to a sandbox model during applet execution.
The Java language is a strongly typed language. For...
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Recommended Reading
Yellin F, Lindholm T (1996) The Java virtual machine specification. Addison Wesley
Lee P, Necula G (1997) Proof-carrying code. In 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp 106–119, Paris
Rose KH, Rose E (1998) Lightweight bytecode verification. In Formal Underpinnings of Java, OOPSLA 98 Workshop, Vancouver, Canada
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media, LLC
About this entry
Cite this entry
Lanet, JL. (2011). Bytecode Verification. In: van Tilborg, H.C.A., Jajodia, S. (eds) Encyclopedia of Cryptography and Security. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-5906-5_486
Download citation
DOI: https://doi.org/10.1007/978-1-4419-5906-5_486
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5905-8
Online ISBN: 978-1-4419-5906-5
eBook Packages: Computer ScienceReference Module Computer Science and Engineering