The method of secure computing concerns the security of a debugger/emulator
tool commonly employed in program development. A private encryption key is
used to encrypt at least verification token for the program. A public
decryption key corresponding to the private encryption key is stored at
the secure computing system. Upon each initialization of the
debugger/emulator the secure computer system decrypts the verification
token employing public decryption key. This indicates whether the program
is secure or nonsecure. If the program is secure, then the
debugger/emulator is operated in a process mode permitting access to the
program while prohibiting access to at least one security feature. If the
program is nonsecure, then the debugger/emulator is operated in a raw mode
permitting access to all features of the secure computing system.
Die Methode des sicheren Rechnens betrifft die Sicherheit eines debugger/emulator Werkzeugs, das allgemein in der Programmentwicklung eingesetzt wird. Ein privater Verschlüsselungschlüssel wird verwendet, um mindestens Überprüfung Zeichen für das Programm zu verschlüsseln. Ein Schlüsselentsprechen der allgemeinen Dekodierung dem privaten Verschlüsselungschlüssel wird am sicheren Computing-System gespeichert. Nach jeder Initialisierung des debugger/emulator entschlüsselt das sichere Computersystem den Überprüfung beschäftigenden allgemeinen Dekodierungscheinschlüssel. Dieses zeigt an, ob das Programm sicher oder nonsecure ist. Wenn das Programm sicher ist, dann wird das debugger/emulator in einem ermöglichenden Zugang des Prozeßmodus zum Programm beim Verbieten des Zuganges zu mindestens einer Sicherheit Eigenschaft bearbeitet. Wenn das Programm nonsecure ist, dann wird das debugger/emulator in einem ermöglichenden Zugang des rohen Modus zu allen Eigenschaften des sicheren Computing-Systems bearbeitet.
