Design and Implementation of Operating System Security Monitoring of Mobile Intelligence Terminal

A mini-PCI card and semantic invariants-based method for monitoring operating system security of mobile intelligence terminal is introduced:Firstly,inferring the semantic invariants of the operating system in the training period,and all of the semantic invariants will be used as security specifications of operating system during runtime;secondly,in the fast FPGA prototyping experiment board,a mini-PCI card is designed to monitoring modifications to kernel,and any violation against the inferred semantic invariants will be treated as an attack.