A Formal Petri Net Based Model for Antivirus Update Agent System
سال انتشار: 1391
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 425
فایل این مقاله در 10 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_JACR-3-2_008
تاریخ نمایه سازی: 16 شهریور 1395
چکیده مقاله:
In this paper, a formal model for antivirus update agent system is presentedbased on mobile agent technology and predicate/transition Petri nets. The mobileagent system contains two mobile agents called DCA and UNA. It sends out agentsto update antivirus on client computers in a network. Each agent takes on aspecified responsibility. First, DCA roams through the network and check the lastdate of updating of antivirus on client computers. Then, by passing the list ofunupdated client computers to UNA, next migration is started. The mobile agentsystem is modeled with logical agent mobility method (LAM) using Petri nets. Eachagent is modeled with a predicate/transition Petri net. In this model, the antivirusupdating system consists of a set of components to identify different locations and aset of connectors to specify the interactions among the components. Connectors andcomponents are modeled with PrT Nets.
کلیدواژه ها:
نویسندگان
Ali Poyan
School of Computer and IT Engineering, Shahrood University of Technology, Shahrood, Iran
Zeynab Bahrami
School of Computer and IT Engineering, Shahrood University of Technology, Shahrood, Iran