The Security of Mobile Agent Systems

author: Wiesiek Pawlowski, Institute of Computer Sciences, Warsaw University of Technology
published: Jan. 7, 2008,   recorded: October 2007,   views: 464
Categories

Slides

Related content

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Lecture popularity: You need to login to cast your vote.
  Delicious Bibliography

Description

In [2] a model for mobility, called Petri hypernets, was presented. Hypernets offer a visual formalism to describe hierarchically structured dynamic agents. The agents take the form of Petri nets, which manipulate other agents as resources. In [4] a logic was proposed in which one can describe the temporal and the structural properties of agents in a hypernet. One can also analyse some properties of hypernets expressible as Petri net invariants thanks to the translation of hypernets to 1-safe Petri net systems given in [3]. Recently, see [1], we have addressed the problem of modelling complex, hybrid discrete agent systems in a modular way. The idea here is to obtain the view of the complete system from a number of simpler views, each devoted to a specific perspective. One view, for instance, could describe how some mobile agents can evolve in time — this view could be captured as a hypernet. Another could address other issues, for instance the rights of an agent to read some messages. The purpose of the talk is to describe how the approach can be used to model, specify and verify some security aspects of mobile agent systems.

See Also:

Download slides icon Download slides: mmdss07_pawlowski_smas_01.pdf (195.4 KB)


Help icon Streaming Video Help

Link this page

Would you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !

Reviews and comments:

Comment1 Edossa Kenea, February 19, 2012 at 1:11 p.m.:

i am not going to sale my mobile phone. I am use to secure my electronics secrate, comminication, theorotical and practical solve problums. Protect me from danger living me in life in natural world. My familie's too. I and my familie's are not dust bin of world or universe.

Write your own review or comment:

make sure you have javascript enabled or clear this field: