Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Bytecode Verifiers
Examples with "Bytecode Verifiers" and their translation in German
The instantiation yields two executable verified bytecode verifiers: the iterative data flow algorithm of the standard Java platform and also a lightweight bytecode verifier for resource-constrained devices such as smart cards.
Die Formalisierung liefert zwei ausführbare verifizierte Bytecode Verifier: den iterativen Standard-Algorithmus sowie einen Lightweight Bytecode Verifier für Geräte mit eingeschränkten Ressourcen.
Other results
The bytecode verifier is an important part of Java's security architecture.
Der Bytecode Verifier ist ein essentieller Bestandteil der Sicherheitsarchiktektur der Programmierplattform Java.
The aim of this thesis was to develop a Java Bytecode verifier for the JX Java operating system.
Ziel dieser Arbeit war die Entwicklung eines Bytecode-Verifiers für das Java-Betriebssystem JX.
Javasoft has issued Security Bulletin 109 concerning problems with the Java Bytecode verifier initialization.
Javasoft hat im Security Bulletin 109 Probleme mit der Initialisierung des Java Bytecode-Verifiers beschrieben.
This thesis presents a fully formal, executable, and machine checked specification of a representative subset of the Java Virtual Machine and its bytecode verifier together with a proof that the bytecode verifier is safe.
Die Dissertation präsentiert eine formale, ausführbare Spezifikation des Bytecode Verifiers sowie den Beweis, dass dieser korrekt ist.
A vulnerability in the Java Runtime Environment (JRE) Bytecode Verifier may be exploited by an untrusted applet to escalate privileges.
Eine Lücke im Java Runtime Environment (JRE) Bytecode Verifier kann dafür sorgen, dass auch ein nicht als vertrauenswürdig gekennzeichnetes Applet erweiterte Rechte erhalten kann.
Before compiling a component to native code and executing it, this component verifier is invoked to check several constraints on the bytecode.
Synonyms and analogies of "Bytecode Verifiers" in English
Word & Expression of the day
Image of the day
Results: 7. Exact: 1. Elapsed time: 18 ms.
