Information security – Monitoring or scanning of software or data including attack...
Reexamination Certificate
2006-05-09
2006-05-09
Barron, Jr., Gilberto (Department: 2132)
Information security
Monitoring or scanning of software or data including attack...
C713S152000, C713S152000, C713S152000, C707S793000, C707S793000, C707S793000
Reexamination Certificate
active
07043755
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.
REFERENCES:
patent: 5355474 (1994-10-01), Thuraisngham et al.
patent: 5481650 (1996-01-01), Cohen
patent: 5557742 (1996-09-01), Smaha et al.
patent: 5694590 (1997-12-01), Thuraisingham et al.
patent: 2706652 (1994-12-01), None
Schoning, Uwe; Logic for Computer Scientists; 1989; Birkhauser Boston; pp. 1-39, 109-154.
Cormen et al.; Introduction to Algorithms; 1990; McGraw-Hill Book Company; pp. 219-243, 465-497.
Terran Lane, Carla E. Brodley: “Sequence matching and learning in anomaly detection for computer security” AAAI Workshop: AI Approaches to Fraud Detection and Risk Management, XP002142494 Purdue Univ., West Lafayette.
R.J. Hayton, J.M. Bacon, K. Moody: “Access Control in an open distributed environment” Security and Privacy, 1998, Proceedings 1998 IEEE Symposium XP002142495.
Ghica Van Emde Boas-Lubsen, Peter Van Emde Boas: “Compiling Horn-claude rules in IBM's Business System 12 and early experiment in declarativeness” 1998 Silver Jubilee SOFSEM Meeting, XP002142496, Slovakia.
Goubault-Larrecq Jean
Roger Muriel
Barron Jr. Gilberto
BULL S.A.
INRIA
Kim Jung W
Kondracki Edward J.
LandOfFree
Method and device for model resolution and its use for... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and device for model resolution and its use for..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and device for model resolution and its use for... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3588921