| 摘要 |
For an information system to be analyzed, restriction information indicating a restriction to be satisfied in the case where the information system is normal is acquired, and an anomalous state failing to satisfy the restriction is specified in a state transition model involving only the automatic transition. Also, the transition from an anomalous state to a normal state is retrieved in the state transition model involving only the manual transition thereby to output management work information indicating a management work specified by the retrieved manual transition as related to the anomalous state.
|
