Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols

被引：0
|
作者：
Zbrzezny, Agnieszka M. [1 ,2 ]
Siedlecka-Lamch, Olga [3 ]
Szymoniak, Sabina [3 ]
Zbrzezny, Andrzej [4 ]
Kurkowski, Miroslaw [5 ]
机构：
[1] Faculty of Design, SWPS University, Chodakowska 19/31, Warsaw,03-815, Poland
[2] Faculty of Mathematics and Computer Science, University of Warmia and Mazury, Olsztyn,10-710, Poland
[3] Department of Computer Science, Czestochowa University of Technology, Dabrowskiego 73, Czestochowa,42-200, Poland
[4] Department of Mathematics and Computer Science, Jan Dlugosz University in Czestochowa, Armii Krajowej 13/15, Czestochowa,42-200, Poland
[5] Institute of Computer Science, Cardinal St. Wyszynski University, Woycickiego 1/3, Warsaw,01-938, Poland
来源：
Applied Sciences (Switzerland) | 2024年 / 14卷 / 22期
关键词：
D O I：
10.3390/app142210333
中图分类号：
学科分类号：
摘要：
62
引用
下载
收藏
相关论文
共 50 条
  • [41] Verification of Agent-Based Artifact Systems
    Belardinelli, Francesco
    Lomuscio, Alessio
    Patrizi, Fabio
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2014, 51 : 333 - 376
  • [42] Verification and Planning in Agent-Based Systems
    Amato, Flora
    Mazzeo, Antonino
    Moscato, Francesco
    Pianese, Dario
    2015 11TH INTERNATIONAL CONFERENCE ON SIGNAL-IMAGE TECHNOLOGY & INTERNET-BASED SYSTEMS (SITIS), 2015, : 782 - 788
  • [43] Verification of agent-based artifact systems
    20153401193365
    1600, AI Access Foundation (51):
  • [44] Symbolic Verification and Analysis of Discrete Timed Systems
    Jürgen Ruf
    Thomas Kropf
    Formal Methods in System Design, 2003, 23 : 67 - 108
  • [45] Learning Assumptions for Compositional Verification of Timed Systems
    Lin, Shang-Wei
    Andre, Etienne
    Liu, Yang
    Sun, Jun
    Dong, Jin Song
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2014, 40 (02) : 137 - 153
  • [46] Automatic abstraction for verification of timed circuits and systems
    Zheng, H
    Mercer, E
    Myers, C
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 182 - 193
  • [47] Interval approach to parallel timed systems verification
    Karpov, YG
    Sotnikov, D
    PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, 2003, 2763 : 100 - 116
  • [48] Incremental Inductive Verification of Parameterized Timed Systems
    Isenberg, Tobias
    2015 15TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2015, : 1 - 9
  • [49] Verification of continuous dynamical systems by timed automata
    Sloth, Christoffer
    Wisniewski, Rafael
    FORMAL METHODS IN SYSTEM DESIGN, 2011, 39 (01) : 47 - 82
  • [50] Formal verification of timed systems: A survey and perspective
    Wang, F
    PROCEEDINGS OF THE IEEE, 2004, 92 (08) : 1283 - 1305
12345