Abstract
Security protocols are used to provide secure communication over open network. Process algebra refers to those algebraic approaches to the study of communication and concurrency systems. The verification methods based on process algebra are the important verification methods of security protocols. The main verification methods based on process algebra of security protocols are presented. Finally the possible new directions of security protocols verification are also stated.
| Original language | English |
|---|---|
| Pages (from-to) | 1097-1103 |
| Number of pages | 7 |
| Journal | Jisuanji Yanjiu yu Fazhan/Computer Research and Development |
| Volume | 41 |
| Issue number | 7 |
| State | Published - Jul 2004 |
| Externally published | Yes |
Keywords
- Authentication
- Formal verification
- Process algebra
- Secrecy
- Security protocol
Fingerprint
Dive into the research topics of 'Survey of security protocol verification based on process algebra'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver