Back in the real world, Fred Cohen presented the first rigorous mathematical definition for a computer virus in his 1986 Ph.D. thesis.

• 回到现实世界，佛瑞得·科恩在他1986年的博士论文中第一次提出了计算机病毒的严治数学定义。