| A FORMAL SPECIFICATION LANGUAGE FOR DYNAMIC STRAND SPACE MODEL |
| |
| 作者姓名： | 刘东喜 李晓勇 白英彩 |
| |
| 作者单位： | Dept. of Computer Science & Eng.，Shanghai Jiaotong Univ.，Shanghai 200030，China |
| |
| 摘 要： | IntroductionCryptographic protocols are the protocols usedto establish secure communication over insecureopen networks by exploiting cryptography,andthey are thought to be simple because just severalmessages are included. However,it is a subtleproblem to guarantee the correctness of a crypto-graphic protocol1] .In order to solve this problem,many researchers have worked on applying formalmethods to analyze cryptographic protocols,andthey are notperformed on the executable code,butrather on Do…
|
A FORMAL SPECIFICATION LANGUAGE FOR DYNAMIC STRAND SPACE MODEL |
| |
| LIU Dong xi,LI Xiao yong,BAI Ying cai.A FORMAL SPECIFICATION LANGUAGE FOR DYNAMIC STRAND SPACE MODEL[J].Journal of Shanghai Jiaotong university,2002,7(1):23-25,35. |
| |
| Authors: | LIU Dong xi LI Xiao yong BAI Ying cai |
| |
| Institution: | 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 维普 万方数据 等数据库收录！ |
