GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Dissertations
  • D04 (2003) - Ausgezeichnete Informatikdissertationen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Dissertations
  • D04 (2003) - Ausgezeichnete Informatikdissertationen
  • View Item

Verified Java Bytecode Verification

Author:
Klein, Gerwin [DBLP]
Abstract
Der Bytecode Verifier ist ein essenzieller Bestandteil der Sicherheitsarchitektur der Programmierplattform Java. Meine Dissertation stellt eine formale, ausführbare Spezifikation des Bytecode Verifiers vor sowie den Beweis, dass diese korrekt ist. Die Formalisierung, vollständig im Theorembeweiser Isabelle durchgeführt, besteht aus einem abstrakten Framework für Bytecode-Verifikation, das mit zunehmend ausdrucksstarken Typsystemen instanziiert wird. Diese decken sämtliche wichtigen Eigenschaften der Java-Plattform ab. Die Formalisierung liefert zwei ausführbare, verifizierte Bytecode Verifier: den Standard-Algorithmus, wie er auf normalen Desktop- Rechnern benutzt wird, sowie einen Lightweight Bytecode Verifier für eingebettete Systeme mit Ressourcenbeschränkungen wie z.B. Java SmartCards.
  • Citation
  • BibTeX
Klein, G., (2004). Verified Java Bytecode Verification. In: Wagner, D. (Hrsg.), Ausgezeichnete Informatikdissertationen 2003. Bonn: Gesellschaft für Informatik. (S. 91-100).
@inproceedings{mci/Klein2004,
author = {Klein, Gerwin},
title = {Verified Java Bytecode Verification},
booktitle = {Ausgezeichnete Informatikdissertationen 2003},
year = {2004},
editor = {Wagner, Dorothea} ,
pages = { 91-100 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}
DateienGroesseFormatAnzeige
gi-diss-004-009.pdf226.0Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-3-88579-408-X
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2004
Language: de (de)
Collections
  • D04 (2003) - Ausgezeichnete Informatikdissertationen [22]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.