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.

Formal Verification and Improvement of the PKMv3 Protocol Using CSP

Jinpeng Jiang, Hongyan Mao, Rumeng Shao, Yuanmin Xu. Formal Verification and Improvement of the PKMv3 Protocol Using CSP. In Sorel Reisman, Sheikh Iqbal Ahamed, Claudio Demartini, Thomas M. Conte, Ling Liu 0001, William R. Claycomb, Motonori Nakamura, Edmundo Tovar, Stelvio Cimato, Chung-Horng Lung, Hiroki Takakura, Ji-Jiang Yang, Toyokazu Akiyama, Zhiyong Zhang 0002, Kamrul Hasan, editors, 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 2. pages 682-687, IEEE Computer Society, 2018. [doi]

Authors

Jinpeng Jiang

This author has not been identified. Look up 'Jinpeng Jiang' in Google

Hongyan Mao

This author has not been identified. Look up 'Hongyan Mao' in Google

Rumeng Shao

This author has not been identified. Look up 'Rumeng Shao' in Google

Yuanmin Xu

This author has not been identified. Look up 'Yuanmin Xu' in Google
runs on