Computer Science ›› 2007, Vol. 34 ›› Issue (10): 80-83.

Previous Articles     Next Articles

XU Dong-Hong ,QI Yong ,HOU Di (School of Electronics and Information Engineering, Xi ' an Jiaotong University, Xi ' an 710049)   

  • Online:2018-11-16 Published:2018-11-16

Abstract: Under the situations of effective approach being lack to evaluate the security properties of security protocols, an approach is proposed to construct the security protocol based on SPI calculus or similar process algebra in this paper. Applying this appro

Key words: Formal method, Process algebra, Security protocol, SPI calculus , API

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!