External Links

Cite Key

Statistics

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

PDF

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.

On the Formal Modeling of Inductive Verification for Cryptographical Protocols

Yongjian Li, Xiaoyu Song, Xiaojuan Li. On the Formal Modeling of Inductive Verification for Cryptographical Protocols. In Hong Shen, Yingpeng Sang, Yidong Li, Depei Qian, Albert Y. Zomaya, editors, 13th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2012, Beijing, China, December 14-16, 2012. pages 201-206, IEEE, 2012. [doi]

Authors

Yongjian Li

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

Xiaoyu Song

This author has not been identified. Look up 'Xiaoyu Song' in Google

Xiaojuan Li

This author has not been identified. Look up 'Xiaojuan Li' in Google
runs on