Formal analysis of non-repudiation protocol by spi
spi calculus, which was based on the theorems of process algebra, was fit for the proof of concurrent protocol execution. Message origination test was put up and the semantics of message sign operation was successfully expressed base on the test, at last, the non-repudiation protocol ZG was proved s...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2009-01-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/74651104/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|