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:
Published:
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
XU Dong-Hong ,QI Yong ,HOU Di (School of Electronics and Information Engineering, Xi ' an Jiaotong University, Xi ' an 710049). [J].Computer Science, 2007, 34(10): 80-83.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2007/V34/I10/80
Cited