Internet of Things automation rule deduction and representation method and device

The invention relates to the technical field of computers, communication and information security, in particular to an Internet of Things automation rule deduction and representation method and device.The method comprises the steps that a verification set is established from heterogeneous Internet of Things system event logs; different candidate conditions are generated and evolved in the form of a condition tree expression until a verification set is met, and a condition expression tree which generates the verification set is obtained; and based on the condition expression tree conforming to the verification set, representing the speculated automation rule as state transition in a finite-state machine. Therefore, the problems that in related technologies, it is assumed that automation rules are open-source, directly available and ideal, and related static analysis technologies are low in robustness and applicability and cannot meet the requirements of safety researchers are solved. 本申请涉及计算机、通信和信息安全技术领域，特别涉及一