Study on formal description style of network protocol

被引：0
|
作者：
Li, Layuan
机构：
来源：
Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems | / 19卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：62 / 69
相关论文
共 50 条
  • [31] A　Hybrid　Formal　Description　Method　Based　on　FSM,CSP　and　ADT　for　Communication　Protocol
    Li Layman(Wuhan Transportation Universityl 430063
    Journal of Systems Engineering and Electronics, 1998, (03) : 29 - 38
  • [32] FORMAL DESCRIPTION TECHNIQUES - COMMUNICATION TOOLS FOR DATA COMMUNICATION SPECIALISTS - FORMAL SPECIFICATION AND IMPLEMENTATION OF A FILE TRANSFER PROTOCOL
    THOOFT, G
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (2-5): : 311 - 321
  • [33] Formal description of the jumpstart just-in-time signaling protocol using EFSM
    Zaim, AH
    Baldine, I
    Cassada, M
    Rouskas, GN
    Perros, HG
    Stevenson, D
    OPTICOMM 2002: OPTICAL NETWORKING AND COMMUNICATIONS, 2002, 4874 : 160 - 173
  • [34] Generating network security protocol implementations from formal specifications
    Tobler, Benjamin
    Hutchison, Andrew C. M.
    IFIP Advances in Information and Communication Technology, 2005, 177 : 34 - 53
  • [35] A formal TTCN-based protocol testing for intelligent network
    Kim, S
    Bae, H
    Jun, K
    THIRD IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS, 1998, : 205 - 209
  • [36] Generating network security protocol implementations from formal specifications
    Tobler, B
    Hutchison, ACM
    Certification and Security in Inter-Organizational E-Services, 2005, 177 : 33 - 53
  • [37] A Formal Approach to Robustness Testing of Network Protocol with Time Constraints
    Jing, Chuanming
    Yin, Xia
    Wang, Zhiliang
    Wu, Jianping
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 2168 - 2174
  • [38] A formal approach to robustness testing of network protocol with time constraints
    Yin, Xia
    Wang, Zhiliang
    Jing, Chuanming
    Wu, Jianping
    SECURITY AND COMMUNICATION NETWORKS, 2011, 4 (06) : 622 - 632
  • [39] Network protocol system monitoring - A formal approach with passive testing
    Lee, D
    Chen, DL
    Hao, RB
    Miller, RE
    Wu, JP
    Yin, X
    IEEE-ACM TRANSACTIONS ON NETWORKING, 2006, 14 (02) : 424 - 437
  • [40] The Formal Logical Analysis of the Correctness of the Specifications of Network Protocol SIP
    Kyaw Myat Thu
    Myo Thet Naung
    Ye, Kyaw Zaw
    Devyatkov, V. V.
    2016 UKSIM-AMSS 18TH INTERNATIONAL CONFERENCE ON COMPUTER MODELLING AND SIMULATION (UKSIM), 2016, : 279 - 283
12345