The Extended Maurer Model: Bridging Turing-Reducibility and Measure Theory to Jointly Reason about Malware and its Detection

An arms-race exists between malware authors and system defenders in which defenders develop new detection approaches only to have the malware authors develop new techniques to bypass them. This motivates the need for a formal framework to jointly reason about malware and its detection. This disserta...

Full description

Bibliographic Details
Main Author: Elgamal, Mohamed Elsayed Abdelhameed
Other Authors: Neville, Stephen William
Language:English
en
Published: 2014
Subjects:
Online Access:http://hdl.handle.net/1828/5678