Click for new scientific resources and news about Corona[COVID-19]

Paper Information

Journal:   JOURNAL OF ADVANCES IN COMPUTER RESEARCH   MAY 2012 , Volume 3 , Number 2; Page(s) 75 To 84.
 
Paper: 

A FORMAL PETRI NET BASED MODEL FOR ANTIVIRUS UPDATE AGENT SYSTEM

 
 
Author(s):  POYAN ALI*, BAHRAMI ZEYNAB
 
* SCHOOL OF COMPUTER AND IT ENGINEERING, SHAHROOD UNIVERSITY OF TECHNOLOGY, SHAHROOD, IRAN
 
Abstract: 

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last date of updating of antivirus on client computers. Then, by passing the list of unupdated client computers to UNA, next migration is started. The mobile agent system is modeled with logical agent mobility method (LAM) using Petri nets. Each agent is modeled with a predicate/transition Petri net. In this model, the antivirus updating system consists of a set of components to identify different locations and a set of connectors to specify the interactions among the components. Connectors and components are modeled with PrT Nets.

 
Keyword(s): MOBILE AGENTS, ANTIVIRUS UPDATE AGENT SYSTEM, LOGICAL AGENT MOBILITY
 
 
References: 
 
Citations: 
  • Not Registered.
 
+ Click to Cite.
APA: Copy

POYAN, A., & BAHRAMI, Z. (2012). A FORMAL PETRI NET BASED MODEL FOR ANTIVIRUS UPDATE AGENT SYSTEM. JOURNAL OF ADVANCES IN COMPUTER RESEARCH, 3(2), 75-84. https://www.sid.ir/en/journal/ViewPaper.aspx?id=276811



Vancouver: Copy

POYAN ALI, BAHRAMI ZEYNAB. A FORMAL PETRI NET BASED MODEL FOR ANTIVIRUS UPDATE AGENT SYSTEM. JOURNAL OF ADVANCES IN COMPUTER RESEARCH. 2012 [cited 2021August02];3(2):75-84. Available from: https://www.sid.ir/en/journal/ViewPaper.aspx?id=276811



IEEE: Copy

POYAN, A., BAHRAMI, Z., 2012. A FORMAL PETRI NET BASED MODEL FOR ANTIVIRUS UPDATE AGENT SYSTEM. JOURNAL OF ADVANCES IN COMPUTER RESEARCH, [online] 3(2), pp.75-84. Available: https://www.sid.ir/en/journal/ViewPaper.aspx?id=276811.



 
  pdf-File
Yearly Visit 48
 
 
Latest on Blog
Enter SID Blog