트로이 목마 및 컴퓨터 바이러스 감염 모델링을 위한 프레임워크

트로이 목마 프로그램과 컴퓨터 바이러스의 가능성을 포함하여 실제 세계에서 운영되는 컴퓨터를 단순히 튜링 기계의 유한한 실현으로 보는 것은 불가능하다. 우리는 실제 컴퓨터 시스템에서 트로이 목마와 바이러스의 행동을 고려하고 이러한 현상에 대한 적절한 형식적 이해를 위한 최소한의 프레임워크를 제안한다. 생물학적 은유를 포함한 기존의 몇 가지 접근 방식이 부적절함이 드러났으며, 바이러스 저항 시스템을 구축하기 위한 몇 가지 제안이 이루어진다.