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 条
  • [1] FORMAL DESCRIPTION OF PROTOCOL STANDARDS AND THEIR REALIZATION
    ZAITSEV, SS
    AUTOMATION AND REMOTE CONTROL, 1988, 49 (05) : 663 - 669
  • [2] A Formal Description and Verification of Authentication Protocol
    Yuan, Zhanting
    Kang, Xu
    Zhang, Qiuyu
    Liang, Shuang
    DCABES 2008 PROCEEDINGS, VOLS I AND II, 2008, : 735 - 740
  • [3] Formal Description of Pipes-filters Achitecture Style
    Zhai, Yunsai
    Zhang, Lichen
    PROCEEDINGS OF THE 2016 3RD INTERNATIONAL CONFERENCE ON MATERIALS ENGINEERING, MANUFACTURING TECHNOLOGY AND CONTROL, 2016, 67 : 1216 - 1219
  • [4] Research on Product Formal Design Based on Style Description
    Wang, Kai
    2009 IEEE 10TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED INDUSTRIAL DESIGN & CONCEPTUAL DESIGN, VOLS 1-3: E-BUSINESS, CREATIVE DESIGN, MANUFACTURING - CAID&CD'2009, 2009, : 213 - 215
  • [5] FORMAL DESCRIPTION TECHNIQUES AND AUTOMATED PROTOCOL SYNTHESIS
    CARCHIOLO, V
    FARO, A
    GIORDANO, D
    INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (08) : 513 - 521
  • [6] A formal description technique and an environment for protocol engineering
    Chung, A
    Sidhu, D
    INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 13TH INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS, 1998, : 131 - 135
  • [7] Formal description of network management issues
    Bochmann, G.
    Mondain-Monval, P.
    Proceedings of the IFIP TC6/WG6.6 International Symposium on Integrated Network Management, 1991,
  • [8] A Formal Methodology for Network Protocol Fingerprinting
    Shu, Guoqiang
    Lee, David
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2011, 22 (11) : 1813 - 1825
  • [9] A　Formal　Approach　to　the　Design　of　Network　Protocol
    罗军舟
    顾冠群
    Journal of Southeast University(English Edition), 1996, (02) : 2 - 6
  • [10] A Transport Protocol and Its Formal Description for Local Networks
    Li Layuan Wuhan Transportation University
    Journal of Systems Engineering and Electronics, 1998, (01) : 48 - 55
12345