A FORMAL SPECIFICATION LANGUAGE FOR DYNAMIC STRAND SPACE MODEL |
| |
| Authors: | LIU Dong xi LI Xiao yong BAI Ying cai |
| |
| Affiliation: | Dept.of Computer Science & Eng., Shanghai Jiaotong Univ., Shanghai 200030, China;Dept.of Computer Science & Eng., Shanghai Jiaotong Univ., Shanghai 200030, China;Dept.of Computer Science & Eng., Shanghai Jiaotong Univ., Shanghai 200030, China |
| |
| Abstract: | 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. |
| |
| Keywords: | dynamic strand space cryptographic protocols formal specification language |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
