反病毒系统中保护服务的形式化行为建模新方法
软件工程
2014-06-12 v1 密码学与安全
摘要
形式化方法技术为软件系统中的软件开发提供了合适的平台。形式化方法和形式化验证对于证明软件系统在设计及实现各个层面的正确性并提升其性能也是必要的。安全讨论是计算机系统中的一个重要问题。由于反病毒应用在计算机系统安全中扮演着非常重要的角色，验证这些应用是非常必要和重要的。在本文中，我们提出了四种反病毒系统行为的新方法，并提出了反病毒系统中保护服务的行为模型。我们将行为模型分为预防行为和控制行为，然后对这些行为进行形式化。最后，通过一些定义，我们解释了如何使用我们的新方法将这些行为相互映射。
引用
@article{arxiv.1406.2791,
title = {A new approach for formal behavioral modeling of protection services in antivirus systems},
author = {Monire Norouzi and Saeed Parsa and Ali Mahjur},
journal= {arXiv preprint arXiv:1406.2791},
year = {2014}
}