Chen, Xi, Henan Key Laboratory of Network Cryptography Technology, China

• Information Technology and Control Vol. 50 No. 3 (2021) - Articles
  Automated State-Machine-Based Analysis of Hostname Verification in IPsec Implementations
  Abstract  PDF