Method and device for the resolution of models and use for the detection of the attacks against computing systems

摘要

The present invention relates to a method and device of the resolution of models and its use for the detection of the attacks against the systems informatiques.le device comprises a software adapter, which makes it possible to translate the information of the account file - be formulated in the specific language of the machine in a language understandable of the interpreter, a target receiving the information of the adapter and receiving the formulation of the specification of the logic function of time in a formula of the specification to expand this formula, and fill the table and the stack under - formulae processed materials described above, resulting from the scanning of the account file - made of the machine and - unalgorithme of the treatment of clause making it possible to solve the clause of the horn using the information of the table and of the stack under - formulae processed materials, this processing algorithm of clause generating a file of the output or generating a. / p