Patents by Inventor Jean Goubault-Larrecq

Jean Goubault-Larrecq has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 7043755
    Abstract: The present invention relates to a method and device for model resolution and its use for detecting attacks against computer systems. The device comprises adapter software for translating the information from the log file, formulated in the specific language of the machine, into a language understandable by the interpreter, an interpreter receiving the information from the adapter and receiving the formulation of the specification in the temporal logic in a specification formula in order to expand this formula and fill in the table and the stack of worked subformulas described above resulting from the scanning of the machine's log file, and a clause processing algorithm for resolving the Horn clauses using the information from the table and the stack of worked subformulas, this clause processing algorithm generating an output file or generating an action.
    Type: Grant
    Filed: September 13, 2000
    Date of Patent: May 9, 2006
    Assignees: BULL S.A., INRIA
    Inventors: Muriel Roger, Jean Goubault-Larrecq