Distributed Verification Using Mobile Agents. Conference Paper uri icon

abstract

  • Abstract. We study the problem of distributed verification in the mobile agent model. The problem of distributed verification in a network using local checking has been studied previously. In the local verification model, each node of the network must decide on a yes or no answer based on the knowledge of its immediate neighborhood and the global answer is obtained by a conjunction of the local answers. The efficiency of such a verification process is determined by the sizes of the proofs ie labels that must be assigned to the nodes to …

publication date

  • January 3, 2013

presented at event