VDM Lemma, D: Computer Viruses

Computer Viruses: How to Build Malicious Process Conscious Operating Systems (MPCOS) presents detailed explanation about computer virus and a novel approach of doing virus prevention at operating system level. MPCOS is a new concept born by the authors of this book. It mainly focuses on the prevention of malicious process from exercising the hostile activity instead of detecting the malicious process using their signature and after the damage is caused.