| 摘要 |
PROBLEM TO BE SOLVED: To provide a security-inspection device which quickly makes a security inspection to a computer and finishes the inspection in a limited period of time. SOLUTION: An input part 10 inputs information on condition sets, information on initial condition sets, information on system condition transition rules, information on sets which indicate that a computer system is not secure, and extension information for computing a local language expressing a condition in which an attainment state does not occur endlessly when repeated condition transitions are carried out, and then records them to a storage part 20. A limitation computing part 30 computes the local language from an initial condition based on the information on the system condition transition rules and the extension information, which are stored in the storage part 30, and generates information on a second limited automaton, which expresses the condition of the computer system, by using the computed local language, and then outputs it. A security determination part 40 performs security determination based on the information on the initial condition sets, the information on the sets indicating unsafe conditions and the information on the second limited automaton. COPYRIGHT: (C)2007,JPO&INPIT
|
