A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Formalizing and Verification of an Antivirus Protection Service using Model Checking
2015
Procedia Computer Science
In this paper, a protection service model is proposed for an antivirus system. The proposed model has been focused on maintaining in secure state of the system. According to the proposed antivirus model, the required behavior has been specified as extended state machine diagrams and translated to temporal logic properties by using Computing Tree Logic language. Also the proposed model has been converted to a Kripke Structure by using formal verification techniques. For proving the correctness
doi:10.1016/j.procs.2015.07.443
fatcat:75v2hxqv25emfh6jvnkhipakey