We consider the actions of Trojan horses and viruses in real computer systems and suggest a minimal framework for an adequate formal understanding of the phenomena.

• 我们认为，使用行动特洛伊木马和病毒实时启动计算机系统，并应提出最低限度的范围内适当的正式理解的现象。