A new approach for formal behavioral modeling of protection services in antivirus systems.

Monire Norouzi Saeed Parsa Ali Mahjur

Published in: CoRR (2014)

Keyphrases

web services
building blocks
artificial intelligence
high level
computer systems
computing environments
formal methods
ambient assisted living
dynamic aspects
machine learning
data analysis
distributed systems
context aware
service composition
computer security