Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Version

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

View:

331
Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Download:

154
Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Cites:

Information Journal Paper

Title

A FORMAL PETRI NET BASED MODEL FOR ANTIVIRUS UPDATE AGENT SYSTEM

Pages

  75-84

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.

Cites

  • No record.

    • References

    Cite

    APA: Copy

    POYAN, ALI, & BAHRAMI, ZEYNAB. (2012). A FORMAL PETRI NET BASED MODEL FOR ANTIVIRUS UPDATE AGENT SYSTEM. JOURNAL OF ADVANCES IN COMPUTER RESEARCH, 3(2), 75-84. SID. https://sid.ir/paper/328698/en

    Vancouver: Copy

    POYAN ALI, BAHRAMI ZEYNAB. A FORMAL PETRI NET BASED MODEL FOR ANTIVIRUS UPDATE AGENT SYSTEM. JOURNAL OF ADVANCES IN COMPUTER RESEARCH[Internet]. 2012;3(2):75-84. Available from: https://sid.ir/paper/328698/en

    IEEE: Copy

    ALI POYAN, and ZEYNAB BAHRAMI, “A FORMAL PETRI NET BASED MODEL FOR ANTIVIRUS UPDATE AGENT SYSTEM,” JOURNAL OF ADVANCES IN COMPUTER RESEARCH, vol. 3, no. 2, pp. 75–84, 2012, [Online]. Available: https://sid.ir/paper/328698/en

    Related Journal Papers

  • No record.

    • Related Seminar Papers

  • No record.

    • Related Plans

  • No record.

    • Recommended Workshops






    Move to top