A FORMAL SPECIFICATION LANGUAGE FOR DYNAMIC STRAND SPACE MODEL

被引：0
|
作者：
刘东喜
李晓勇
白英彩
机构：
来源：
Journal of Shanghai Jiaotong University(Science) | 2002年 / 01期
关键词：
dynamic strand space; cryptographic protocols; formal specification language;
D O I：
暂无
中图分类号：
TN918 [通信保密与通信安全];
学科分类号：
0839 ; 1402 ;
摘要：
Specification language is used to provide enough information for the model of the cryptographic protocol. This paper first extends strand space model to dynamic strand model, and then a formal specification language for this model is defined by using BNF grammar. Compared with those in literatures, it is simpler because of only concerning the algebraic properties of cryptographic protocols.
引用
收藏
页码：23 / 25 +35
页数：4
相关论文
共 50 条
  • [1] Formal Analysis of Anonymity Based on Strand Space Model
    Zhang, Lu
    Luo, Junzhou
    [J]. 2008 FIRST IEEE INTERNATIONAL CONFERENCE ON UBI-MEDIA COMPUTING AND WORKSHOPS, PROCEEDINGS, 2008, : 75 - 81
  • [2] English as a formal specification language
    Schwitter, R
    [J]. 13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2002, : 228 - 232
  • [3] LANGUAGE FOR FORMAL PROBLEM SPECIFICATION
    GREIF, I
    [J]. COMMUNICATIONS OF THE ACM, 1977, 20 (12) : 931 - 935
  • [4] Alneelain: A Formal Specification Language
    Ali, Nahid A.
    Mirghani, Amal A.
    Ibrahim, Abdelrasoul Y.
    [J]. 2017 INTERNATIONAL CONFERENCE ON COMMUNICATION, CONTROL, COMPUTING AND ELECTRONICS ENGINEERING (ICCCCEE), 2017,
  • [5] ConSpec - A formal language for policy specification
    Aktug, Irem
    Naliuka, Katsiaryna
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2008, 74 (1-2) : 2 - 12
  • [6] A formal specification language for agent conversations
    Soriano, J
    Alonso, F
    López, G
    [J]. MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS, 2003, 2691 : 214 - 225
  • [7] Evaluating a formal KBS specification language
    vanHarmelen, F
    Aben, M
    Ruiz, F
    vandePlassche, J
    [J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1996, 11 (01): : 56 - 62
  • [8] Formal Specification of a Particular Banking Domain with RAISE Specification Language
    Nami, Mohammad Reza
    Malekpour, Abbas
    [J]. 2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 7 - +
  • [9] Formal specification of dynamic architectural styles
    de Paula, VC
    Justo, GRR
    Cunha, PRF
    [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 1939 - 1945
  • [10] A Language for Biochemical Systems: Design and Formal Specification
    Pedersen, Michael
    Plotkin, Gordon D.
    [J]. TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XII, 2010, 5945 : 77 - 145
12345