Formal Model of Computer Attacks, Based on System Event Records of the Operating System | Synapse