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.

• Publication year

  2014

• Venue

  IEEE Annual Symposium on Foundations of Computer Science

• Publication date

  2014-05-31

• Fields of study

  Computer Science

• Identifiers
  DOI 10.5121/IJFCST.2014.4307arXiv 1406.2791
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Modeling and analysis of the effects of antivirus software on an infected computer network

  2014cited by this paper
• Behavioral modeling and formal verification of a resource discovery approach in Grid computing

  2014cited by this paper
• Symbolic model checking composite Web services using operational and control behaviors

  2013cited by this paper
• Quantifying information security risks using expert judgment elicitation

  2012cited by this paper
• Malware target recognition via static heuristics

  2012cited by this paper
• Modeling and Automated Containment of Worms

  2011cited by this paper
• A formal and visual modeling approach to choreography based web services composition and conformance verification

  2011cited by this paper
• Animmune local concentration based virus detection approach

  2011cited by this paper
• Behavioral modeling and verification of multi-agent systems for manufacturing control

  2011cited by this paper
• Proactive worm propagation modeling and analysis in unstructured peer-to-peer networks

  2010cited by this paper
• Viruses and Malware

  2010cited by this paper
• Formal Verification of Websites

  2008cited by this paper
• Applying Formal Methods to a Certifiably Secure Software System

  2008cited by this paper
• Testing and evaluating virus detectors for handheld devices

  2006cited by this paper
• The Art of Computer Virus Research and Defense

  2005cited by this paper
• Formal Verification of Security Properties of Smart Card Embedded Source Code

  2005cited by this paper
• Modeling and automated containment of worms

  2005cited by this paper
• Associate Professor

  2004cited by this paper
• Analysis and detection of computer viruses and worms: an annotated bibliography

  2002cited by this paper
• Formal verification of Statecharts using finite-state model checkers

  2001cited by this paper
• Formal Verification of Statecharts Using Finite-State Model Checkers

  2001cited by this paper
• Enforceable security policies

  2000cited by this paper
• Formal Verification of Safety-Critical Hybrid Systems

  1998cited by this paper

• A Data Mining Classification Approach for Behavioral Malware Detection

  2016cites this paper
• Formalizing and Verification of an Antivirus Protection Service using Model Checking

  2015cites this paper