Wir konnten diesen Eintrag nicht finden. Es werden ungefähre Ergebnisse angezeigt. Prüfen Sie die Rechtschreibung oder schlagen Sie vor, diesen Begriff dem Wörterbuch hinzuzufügen.
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).
Weitere Ergebnisse
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
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).
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.
Potenziell sensible oder unangemessene Inhalte
Beispiele werden nur verwendet, um Ihnen bei der Übersetzung des gesuchten Wortes oder der Redewendung in verschiedenen Kontexten zu helfen. Sie werden nicht durch uns ausgewählt oder überprüft und können unangemessene Ausdrücke oder Ideen enthalten. Bitte melden Sie Beispiele, die bearbeitet oder nicht angezeigt werden sollen. Potenziell sensible, unangemessene oder umgangssprachliche Übersetzungen sind in der Regel in Rot oder Orange gekennzeichnet.
Für diese Bedeutung wurden keine Ergebnisse gefunden.
Synonyme und ähnliche Wörter für „Bytecode-Programms“ auf Deutsch
