Verified Java Bytecode Verification (Verified Java Bytecode Verification)
Published in it - Information Technology • Feb 1, 2005
Authors:
Gerwin Klein
Abstract
Zusammenfassung Der Bytecode Verifier ist ein essenzieller Bestandteil der Sicherheitsarchitektur der Programmierplattform Java. Die vorliegende Dissertation stellt eine formale, ausführbare Spezifikation des Bytecode Verifiers vor sowie den Beweis, dass diese korrekt ist. Die Formalisierung, vollst...
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!