skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Computer viruses

Book ·
OSTI ID:5181107

This thesis investigates a recently discovered vulnerability in computer systems which opens the possibility that a single individual with an average user's knowledge could cause widespread damage to information residing in computer networks. This vulnerability is due to a transitive integrity corrupting mechanism called a computer virus which causes corrupted information to spread from program to program. Experiments have shown that a virus can spread at an alarmingly rapid rate from user to user, from system to system, and from network to network, even when the best-availability security techniques are properly used. Formal definitions of self-replication, evolution, viruses, and protection mechanisms are used to prove that any system that allows sharing, general functionality, and transitivity of information flow cannot completely prevent viral attack. Computational aspects of viruses are examined, and several undecidable problems are shown. It is demonstrated that a virus may evolve so as to generate any computable sequence. Protection mechanisms are explored, and the design of computer networks that prevent both illicit modification and dissemination of information are given. Administration and protection of information networks based on partial orderings are examined, and probably correct automated administrative assistance is introduced.

Research Organization:
University of Southern California, Los Angeles (USA)
OSTI ID:
5181107
Resource Relation:
Other Information: Thesis (Ph. D.)
Country of Publication:
United States
Language:
English