图 书 馆
移动代理系统的安全性The Security of Mobile Agent Systems |
|
| 课程网址: | http://videolectures.net/mmdss07_pawlowski_smas/ |
| 主讲教师: | Wiesiek Pawlowski |
| 开课单位: | 华沙理工大学 |
| 开课时间: | 2008-01-07 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | 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. |
| 关 键 词: | 移动模型; 视觉形式; 分层结构 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-08-25：chenxin |
| 阅读次数: | 30 |