TY - RPRT TI - A new approach for formal behavioral modeling of protection services in antivirus systems AU - Monire Norouzi AU - Saeed Parsa AU - Ali Mahjur PY - 2014 UR - https://arxiv.org/abs/1406.2791 ID - 1406.2791 ER -