Rsps: Modeling and Verification of a Real-time Security Protection Service Using Model Checking


In this paper a real-time security protection model for scanning the security files is presented. In this model, a workflow mechanism is presented for real-time scanning Dynamic Link Library files. A specification relation between the proposed model and the Kripke structure is presented that enables the verification of the system specifications. By… (More)


4 Figures and Tables

Slides referencing similar topics