反病毒系统中保护服务形式化行为建模的新方法
A new approach for formal behavioral modeling of protection services in antivirus systems
摘要：
形式化方法技术为软件系统中的软件开发提供了一个合适的平台。形式化方法和形式化验证是软件系统在设计和实现的各个层次上证明正确性和提高性能的必要手段。安全讨论是计算机系统中的一个重要问题。由于反病毒应用程序在计算机系统安全中起着非常重要的作用，因此对这些应用程序进行验证是非常必要的。本文提出了四种新的防病毒系统行为分析方法，并提出了一种防病毒系统中保护服务的行为模型。我们将行为模型分为预防行为和控制行为，并对这些行为进行了形式化描述。最后，通过使用一些定义，我们解释了这些行为是如何通过使用我们的新方法相互映射的。
英文摘要：
Formal method techniques provides a suitable platform for the software development in software systems. Formal methods and formal verification is necessary to prove the correctness and improve performance of software systems in various levels of design and implementation, too. Security Discussion is an important issue in computer systems. Since the antivirus applications have very important role in computer systems security, verifying these applications is very essential and necessary. In this paper, we present four new approaches for antivirus system behavior and a behavioral model of protection services in the antivirus system is proposed. We divided the behavioral model in to preventive behavior and control behavior and then we formal these behaviors. Finally by using some definitions we explain the way these behaviors are mapped on each other by using our new approaches.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
