Method and device for model resolution and its use for detecting attacks against computer systems
US7043755B1 · kind B1 · utility
Assignees
Inventors
Key dates
| Filing date | Sep 13, 2000 |
| Grant date | May 9, 2006 |
| Priority date | — |
| Expiry date | Apr 7, 2023 |
Classification
- Technology area (CPC Y)Emerging Cross-Sectional Technologies
- CPC primaryY10S707/99934
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.