The Security of Mobile Agent Systems
published: Jan. 7, 2008, recorded: October 2007, views: 4225
Report a problem or upload filesIf 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.
In  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  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 . Recently, see , 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.
Download slides: mmdss07_pawlowski_smas_01.pdf (195.4 KB)
Link this pageWould you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !
Reviews and comments:
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: