External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Using SPIN to Model Cryptographic Protocols

Li Yongjian, Xue Rui. Using SPIN to Model Cryptographic Protocols. In International Conference on Information Technology: Coding and Computing (ITCC 04), Volume 2, April 5-7, 2004, Las Vegas, Nevada, USA. pages 741-745, IEEE Computer Society, 2004. [doi]

Authors

Li Yongjian

This author has not been identified. Look up 'Li Yongjian' in Google

Xue Rui

This author has not been identified. Look up 'Xue Rui' in Google
runs on