Extending Agent-based Mobile Petri Nets with Access Control

被引:0
|
作者
Jamal, Maryam [1 ]
Zafar, Nazir Ahmad [2 ]
机构
[1] COMSATS Inst Informat Technol, Dept Comp Sci, Islamabad, Pakistan
[2] COMSATS Inst Informat Technol, Dept Comp Sci, Sahiwal, Pakistan
关键词
Mobile Petri Nets; Mobile Agents; Security; Access Control Mechanism; Formal Methods;
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Agent-based Mobile Petri Nets are a powerful variant of classical Petri Nets which integrate mobile agent technology. A mobile agent migrates among heterogeneous platforms by acquiring their services to perform its goal. Agent based Mobile Petri Nets effectively model mobility, concurrency and distributed nature of a mobile agent. However, security aspects related to mobile agent's mobility are still lacking. This paper has enriched Agent-based Mobile Petri Nets with access control mechanisms. Two access control mechanisms namely; static and dynamic, have been integrated in Agent-based Mobile Petri Nets. For static access control, each mobile agent net is equipped with an access control list which defines a fixed list and access rights for visiting mobile agents. For dynamic access control, access control matrix has been associated with each mobile agent net for granting the visiting mobile agents with respective privileges. The assigned privileges are not fixed and they change with state of agent net. Finally the proposed access control mechanisms are verified with a case study.
引用
收藏
页码:133 / 138
页数:6
相关论文
共 50 条
  • [21] Mobile Petri nets
    Asperti, A.
    Busi, N.
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2009, 19 (06) : 1265 - 1278
  • [22] Agent-based distributed architecture for mobile robot control
    Posadas, J. L.
    Poza, J. L.
    Simo, J. E.
    Benet, G.
    Blanes, F.
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2008, 21 (06) : 805 - 823
  • [23] Using colored petri nets to predict future states in agent-based scheduling and planning systems
    Bai, Quan
    Ren, Fenghui
    Zhang, Minjie
    Fulcher, John
    MULTIAGENT AND GRID SYSTEMS, 2010, 6 (5-6) : 527 - 542
  • [24] Petri nets and mobile agent composed fault unit lock scheme
    Lin, Xia
    Lu, Yuping
    Liu, Yuhuan
    2008 THIRD INTERNATIONAL CONFERENCE ON ELECTRIC UTILITY DEREGULATION AND RESTRUCTURING AND POWER TECHNOLOGIES, VOLS 1-6, 2008, : 1884 - 1888
  • [25] Modeling and performance evaluation of an agent-based warehouse dynamic resource allocation using Colored Petri Nets
    Drakaki, Maria
    Tzionas, Panagiotis
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2016, 29 (07) : 736 - 753
  • [26] Advanced Petri Nets for modelling mobile agent enabled interorganizational workflows
    Ling, S
    Loke, SW
    NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2002, : 245 - 252
  • [28] Agent-Based Approach for Distributed Access Control in Cloud Environments
    Thomas, Manoj V.
    Sekaran, K. Chandra
    2013 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2013, : 1628 - 1633
  • [29] ADAM: An agent-based middleware architecture for distributed access control
    Seleznyov, A
    Ahmed, MO
    Hailes, S
    PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND APPLICATIONS, VOLS 1AND 2, 2004, : 200 - 205
  • [30] Agent-based access control security in grid computing environment
    Lin, J
    Wang, C
    Guo, YH
    2005 IEEE NETWORKING, SENSING AND CONTROL PROCEEDINGS, 2005, : 159 - 162