Formal specification and verification for ISO protocol development. A critique

被引：0
|
作者：
机构：
来源：
| 1600年 / Publ by Springer-Verlag Berlin, Berlin 33, Ger卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Formal specification and verification of a micropayment protocol
    Gouda, MG
    Liu, AX
    ICCCN 2004: 13TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS, 2004, : 489 - 494
  • [2] FORMAL TECHNIQUES FOR PROTOCOL SPECIFICATION AND VERIFICATION
    SUNSHINE, C
    COMPUTER, 1979, 12 (09) : 20 - 27
  • [3] Formal Specification and Verification of Transmission Control Protocol
    Jarrar, Abdessamad
    Bellasri, Otman
    Chougdali, Sallami
    Balouki, Youssef
    ICCWCS'17: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTING AND WIRELESS COMMUNICATION SYSTEMS, 2017,
  • [4] Formal hardware specification languages for protocol compliance verification
    Bunker, A
    Gopalakrishnan, G
    Mckee, SA
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2004, 9 (01) : 1 - 32
  • [5] Formal specification and verification of the SET/A protocol with an integrated approach
    Lam, VSW
    Padget, J
    CEC 2004: IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE TECHNOLOGY, PROCEEDINGS, 2004, : 229 - 235
  • [6] FORMAL SPECIFICATION AND COMPOSITIONAL VERIFICATION OF AN ATOMIC BROADCAST PROTOCOL
    ZHOU, P
    HOOMAN, J
    REAL-TIME SYSTEMS, 1995, 9 (02) : 119 - 145
  • [7] Formal Specification and Verification of JXTA's Endpoint Routing Protocol
    Konga, Yannick L. Kala
    Djouani, Karim
    IEEE AFRICON 2011, 2011,
  • [8] FORMAL SPECIFICATION AND VERIFICATION OF A PROCEDURAL PROTOCOL - CASE-STUDY
    LAI, R
    SOFTWARE ENGINEERING JOURNAL, 1995, 10 (03): : 97 - 104
  • [9] Formal Specification and Verification of MQTT Protocol in PlusCal-2
    Sabina Akhtar
    Ehtesham Zahoor
    Wireless Personal Communications, 2021, 119 : 1589 - 1606
  • [10] Formal Specification and Verification of MQTT Protocol in PlusCal-2
    Akhtar, Sabina
    Zahoor, Ehtesham
    WIRELESS PERSONAL COMMUNICATIONS, 2021, 119 (02) : 1589 - 1606
12345