Sign in
Analyzing Security Protocol Web Implementations Based on Model Extraction With Applied PI Calculus.
Xudong He
Qin Liu
Shuang Chen
Chin-Tser Huang
Dejun Wang
Bo Meng
Published in:
IEEE Access (2020)
Keyphrases
</>
probabilistic model
similarity measure
digital libraries
information extraction