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 条
  • [11] Formal Description and Verification of a Transport Protocol for Local Networks
    李腊元
    Journal of Computer Science and Technology, 1990, (01) : 64 - 70
  • [12] Formal description of mobile IPv6 protocol
    Zhang, YJ
    Li, ZC
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 538 - 541
  • [13] A transport protocol and its formal description for local networks
    Li, LY
    Li, CL
    Xue, SJ
    1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1616 - 1619
  • [14] The formal model of a simple network payment protocol
    Zhang, ZL
    Ma, HD
    2001 INTERNATIONAL CONFERENCES ON INFO-TECH AND INFO-NET PROCEEDINGS, CONFERENCE A-G: INFO-TECH & INFO-NET: A KEY TO BETTER LIFE, 2001, : F161 - F166
  • [15] Network protocol system fingerprinting - A formal approach
    Shu, Guoqiang
    Lee, David
    25TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS, VOLS 1-7, PROCEEDINGS IEEE INFOCOM 2006, 2006, : 847 - 858
  • [16] A Formal Approach to Robustness Testing of Network Protocol
    Jing, Chuanming
    Wang, Zhiliang
    Yin, Xia
    Wu, Jianping
    NETWORK AND PARALLEL COMPUTING, 2008, 5245 : 24 - +
  • [17] Formal verification of the Alpha 21364 network protocol
    Mokkedem, A
    Leonard, T
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 443 - 461
  • [18] ON TOOLS SUPPORTING THE USE OF FORMAL DESCRIPTION TECHNIQUES IN PROTOCOL DEVELOPMENT
    CHANSON, ST
    LOUREIRO, AAF
    VUONG, ST
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 (07): : 723 - 739
  • [19] From Petri nets to formal description techniques and protocol engineering
    Luo, Junzhou
    Shen, Jun
    Gu, Guanqun
    Ruan Jian Xue Bao/Journal of Software, 2000, 11 (05): : 606 - 615
  • [20] New protocol modeling methods based on ESTELLE formal description
    Li, GQ
    An, JP
    2005 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS, VOLS 1 AND 2, PROCEEDINGS: VOL 1: COMMUNICATION THEORY AND SYSTEMS, 2005, : 1277 - 1282
12345