Formal Specification and Verification of Mobile Agent Systems

被引：1
|
作者：
Kahloul, L. [1 ]
Grira, M. [2 ]
机构：
[1] Univ Biskra, Dept Comp Sci, LINFI Lab, Biskra 07000, Algeria
[2] Univ Biskra, Dept Comp Sci, Biskra 07000, Algeria
来源：
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL | 2014年 / 9卷 / 03期
关键词：
Mobile Agent; Formal Verification; Pi-calculus; Promela; SPIN; UPPAAL;
D O I：
10.15837/ijccc.2014.3.116
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Mobile agent systems offer efficiency and flexibility as a design paradigm. These two characteristics allow to these systems to be an adequate solution for many problems. These systems are used in many critical domains. This expansion, in use, obliges designers to insure the reliability and correctness of such systems. Formal methods can be used to verify the correctness of these systems. This paper presents a formal specification and verification of mobile agent systems using the High Order Pi-calculus. The verification exploits the two tools UPPAAL and SPIN.
引用
收藏
页码：292 / 304
页数：13
相关论文
共 50 条
  • [1] A Formal Security Framework for Mobile Agent Systems: Specification and Verification
    Loulou, Monia
    Kacem, Ahmed Hadj
    Mosbah, Mohamed
    Jmaiel, Mohamed
    CRISIS: 2008 THIRD INTERNATIONAL CONFERENCE ON RISKS AND SECURITY OF INTERNET AND SYSTEMS, PROCEEDINGS, 2008, : 69 - 76
  • [2] Formal Specification and Verification of Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 5 - 17
  • [3] On the formal specification and verification of multi-agent systems
    Fisher, M
    Wooldridge, M
    INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 1997, 6 (01) : 37 - 65
  • [4] Formal Modeling and Verification of Secure Mobile Agent Systems
    Jiang, Mingyue
    Ding, Zuohua
    Zhou, Mengchu
    Zhou, Yuan
    2015 INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2015, : 545 - 550
  • [5] A formal specification and verification of normative multi-agent systems by DisCSP
    Boudhaouia, Aida
    Mazigh, Belhassen
    Missaoui, Ezzine
    2017 IEEE/ACS 14TH INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2017, : 399 - 406
  • [6] FORMAL SPECIFICATION AND VERIFICATION OF MICROPROCESSOR SYSTEMS
    JOYCE, JJ
    MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 371 - 378
  • [7] FORMAL SPECIFICATION AND VERIFICATION OF MICROPROCESSOR SYSTEMS
    JOYCE, JJ
    INTEGRATION-THE VLSI JOURNAL, 1989, 7 (03) : 247 - 266
  • [8] FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION
    CARMO, J
    SERNADAS, A
    INFORMATION SYSTEMS, 1991, 16 (03) : 245 - 272
  • [9] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    CHEN, BS
    YEH, RT
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
  • [10] Dynamic security framework for mobile agent systems: Specification, verification and enforcement
    Loulou, Monia
    Jmaiel, Mohamed
    Mosbah, Mohamed
    International Journal of Information and Computer Security, 2009, 3 (3-4) : 321 - 336
12345