How to Teach the Undecidability of Malware Detection Problem and Halting Problem - Information Security Education. Information Security in Action Access content directly
Conference Papers Year : 2020

How to Teach the Undecidability of Malware Detection Problem and Halting Problem

Abstract

Malware detection is a term that is often associated to Computer Science Security. The underlying main problem is called Virus detection and consists in answering the following question: Is there a program that can always decide if a program is a virus or not? On the other hand, the undecidability of some problems is an important notion in Computer Science : an undecidable problem is a problem for which no algorithm exists to solve it. We propose an activity that demonstrates that virus detection is an undecidable problem. Hence we prove that the answer to the above question is no. We follow the proof given by Cohen in his PhD in 1983. The proof is close to the proof given by Turing in 1936 of the undecidability of the Halting problem. We also give an activity to prove the undecidability of the Halting problem. These proofs allow us to introduce two important ways of proving theorems in Computer Science : proof by contradiction and proof by case disjunction. We propose a simple way to present these notions to students using a maze. Our activity is unplugged, i.e. we use only a paper based model of computer , and is designed for high-school students. This is the reason why we use Scratch to write our "programs".
Fichier principal
Vignette du fichier
WISE2020.pdf (241.54 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02559585 , version 1 (30-04-2020)

Identifiers

  • HAL Id : hal-02559585 , version 1

Cite

Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert. How to Teach the Undecidability of Malware Detection Problem and Halting Problem. WISE13: The 13th World Conference on Information Security Education, May 2020, Maribor, Slovenia. ⟨hal-02559585⟩
517 View
349 Download

Share

Gmail Facebook X LinkedIn More