×

Method and system for secure debugging of a secure software module

  • US 6,742,177 B1
  • Filed: 03/31/2000
  • Issued: 05/25/2004
  • Est. Priority Date: 03/31/2000
  • Status: Expired due to Fees
First Claim
Patent Images

1. A method for a symbolic debugger to debug a software program making one or more function calls to a tamper-resistant software module, the method comprising the steps of:

  • loading a tamper-resistant software module comprising at least one function call, wherein programming code to implement the at least one function call is not made available for debug;

    loading an intermediate software module which includes an intermediate function call from a server socket interface to the at least one function call in the tamper-resistant software module, wherein the intermediate function call returns through to the server socket interface any status from the at least one function call in the tamper-resistant software module;

    executing a socket client interface service performing the steps of;

    a) receiving a call to the least one function call in the tamper-resistant software module from a software program being debugged by a symbolic debugger;

    b) translating the function call received into a socket call;

    c) returning any status received from the socket call to software program being debugged;

    executing the socket server interface service performing the steps of;

    a) receiving one or more socket calls from a client socket service;

    b) translating the socket calls received into the at least one function call for execution in the tamper-resistant software module; and

    c) returning any status from the execution of the at least one function call. wherein the intermediate software module provides an executable return to a software program being debugged by a symbolic debugger into the at least one function call in the tamper resistant software module.

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×