Das zu überprüfende Bytecode-Programm wird nur zur weiteren Verarbeitung freigegeben, wenn das Zustandsübergangssystem (M) alle Bedingungen der Bedingungsmenge (S) erfüllt.
The byte code programme being checked is only released for further processing if the status transition system (M) fulfils all of the conditions of the set (S).
Other results
Ziel ist die Entwicklung von Technologie zur Verifikation von Informationsflusssicherheit von Java-und Bytecode-Programmen.
Our goal is to develop technologies to verify information flow security of Java and bytecode programs.
Durch die beschriebene Technik kann die Sicherheit von Bytecode-Programmen garantiert und durch zusätzliche Erweiterungen eine gewisse Funktionalität zugesichert werden.
The invention therefore provides a means of guaranteeing the security of byte code programmes and with additional enhancements, can guarantee a certain functionality.
Die technische Aufgabe ist auf ein Verfahren ausgerichtet, das eine höchstmögliche Sicherheit bei der Überprüfung von Sicherheitseigenschaften von Bytecode-Programmen gewährleistet.
The technical aim of the invention is to provide a method for guaranteeing the best possible security in checking the security characteristics of byte code programmes.
VERFAHREN ZUR PRÜFUNG VON JAVA-BYTECODE-PROGRAMMEN AUF SICHERHEITSEIGENSCHAFTEN
Computersystem nach Anspruch 17, dadurch gekennzeichnet, daß der Bytecode-Programminterpreter (242) Mittel zum Ausführen des Bytecode-Programms (221,340) ohne Ausführung von Operandenstapel-Statusprüfungen während der Ausführung des Bytecode-Programms (221,340) enthält.
The computer system of claim 17, characterized by said bytecode program interpreter (242) including means for executing said bytecode program (221,340) without performing operand stack status checks during execution of said bytecode program (221,340).
Durch eine Analyse der Bytecode-Anweisungen eines Programms soll die JVM zukünftig präzise aufzeigen können, welche Variable einen Nullwert ergibt.
By analyzing the bytecode instructions of a program, the JVM should be able to show precisely which variable returns a null.
Dank Javas Bytecode können wir ein Programm einmal schreiben und überall ausführen ("write once and execute always").
Thanks to Java bytecodes we can "write once and execute always".
Verfahren nach Anspruch 4, wobei die eindeutige Laufnummer für den Bytecode (411) einen zu einem Startwert für ein den Bytecode enthaltendes Programm relativen Versätzwert für den Bytecode aufweist.
The method of claim 4, wherein the unique sequence number for the byte code (411) comprises an offset value for the byte code relative to a starting value for a program containing the byte code.
Verfahren nach Anspruch 1, wobei der Programm-Bytecode eine Klassendatei aufweist, wobei die Klassendatei in ein oder mehrere virtuelle Prozessorwerkzeuge umgewandelt wird, welche den Befehlssatz des virtuellen Prozessors verwenden.
A method as claimed in claim 1 in which the program bytecode includes a class file, the class file being converted into one or more virtual processor tools which use the instruction set of the virtual processor.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
No results found for this meaning.
Synonyms and analogies of "Bytecode-Programm" in German
