Login / Signup

Analyzing Security Protocol Web Implementations Based on Model Extraction With Applied PI Calculus.

Xudong HeQin LiuShuang ChenChin-Tser HuangDejun WangBo Meng
Published in: IEEE Access (2020)
Keyphrases
  • probabilistic model
  • similarity measure
  • digital libraries
  • information extraction