FORMAL TECHNIQUES FOR PROTOCOL SPECIFICATION AND VERIFICATION

被引：0
|
作者：
SUNSHINE, C
机构：
来源：
COMPUTER | 1979年 / 12卷 / 09期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：20 / 27
页数：8
相关论文
共 50 条
  • [41] Formal Specification of a Team Formation Protocol
    Niyogi, Rajdeep
    [J]. ADVANCED INFORMATION NETWORKING AND APPLICATIONS, AINA-2022, VOL 3, 2022, 451 : 301 - 313
  • [42] METAGRAMMARS AS A MEANS OF FORMAL PROTOCOL SPECIFICATION
    ATAKISHCHEV, OI
    KOZIN, YD
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1989, (05): : 11 - 16
  • [43] Formal Specification of Memory Coherence Protocol
    Khan, Jahanzaib
    Atif, Muhammad
    Bajwa, Muhammad Khurram Zahoor
    Mahmood, Muhammad Sohaib
    Usman, Sobia
    [J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2018, 9 (08) : 641 - 650
  • [44] An executable specification of a formal argumentation protocol
    Artikis, Alexander
    Sergot, Marek
    Pitt, Jeremy
    [J]. ARTIFICIAL INTELLIGENCE, 2007, 171 (10-15) : 776 - 804
  • [45] AN INFORMAL OVERVIEW OF FORMAL PROTOCOL SPECIFICATION
    RUDIN, H
    [J]. IEEE COMMUNICATIONS MAGAZINE, 1985, 23 (03) : 46 - 52
  • [46] Formal Verification of the xDAuth Protocol
    Alam, Quratulain
    Tabbasum, Saher
    Malik, Saif U. R.
    Alam, Masoom
    Ali, Tamleek
    Akhunzada, Adnan
    Khan, Samee U.
    Vasilakos, Athanasios V.
    Buyya, Rajkumar
    [J]. IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2016, 11 (09) : 1956 - 1969
  • [47] Formal verification for a PMQTT protocol
    Elemam, Eman
    Bahaa-Eldin, Ayman M.
    Shaker, Nabil H.
    Sobh, Mohamed
    [J]. EGYPTIAN INFORMATICS JOURNAL, 2020, 21 (03) : 169 - 182
  • [48] Formal Verification of the FDO Protocol
    Bussa, Simone
    Sisto, Riccardo
    Valenza, Fulvio
    [J]. 2023 IEEE CONFERENCE ON STANDARDS FOR COMMUNICATIONS AND NETWORKING, CSCN, 2023, : 290 - 295
  • [49] A Survey of Smart Contract Formal Specification and Verification
    Tolmach, Palina
    Li, Yi
    Lin, Shang-Wei
    Liu, Yang
    Li, Zengxiang
    [J]. ACM COMPUTING SURVEYS, 2021, 54 (07)
  • [50] Formal Specification and Verification of Ubiquitous and Pervasive Systems
    Coronato, Antonio
    De Pietro, Giuseppe
    [J]. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2011, 6 (01)
12345