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 条
  • [11] Verification of parameterized timed systems
    Abdulla, PA
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 95 - 97
  • [12] Verification of timed and hybrid systems
    Larsen, KG
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 39 - 42
  • [13] Compositional verification of timed systems
    20150100391147
    1600, (CEUR-WS):
  • [14] Modelling and checking timed authentication of security protocols
    Jakubowska, Gizela
    Penczek, Wojciech
    FUNDAMENTA INFORMATICAE, 2007, 79 (3-4) : 363 - 378
  • [15] Incremental verification of component-based timed systems
    Julliand, J.
    Mountassir, H.
    Oudot, E.
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2011, 42 (2-3) : 159 - 176
  • [16] Relative timing based verification of timed circuits and systems
    Kim, H
    Beerel, PA
    Stevens, K
    ASYNC: EIGHTH INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS, PROCEEDINGS, 2002, : 115 - 124
  • [17] On the timed automata-based verification of Ravenscar systems
    Ober, Iulian
    Halbwachs, Nicolas
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 30 - +
  • [18] Towards verification of timed non-repudiation protocols
    Wei, K
    Heather, J
    FORMAL ASPECTS IN SECURITY AND TRUST, 2006, 3866 : 244 - 257
  • [19] Verification of Privacy Timed Properties in Web Service Protocols
    Mokhtari, K.
    Benbernou, S.
    Said, M.
    Coquery, E.
    Hacid, M. S.
    Leymann, F.
    2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 2, 2008, : 593 - +
  • [20] Specification and verification of timed lazy systems
    Corradini, F
    Pistore, M
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 279 - 290
12345