Login / Signup
Automated State-Machine-Based Analysis of Hostname Verification in IPsec Implementations.
Jiaxing Guo
Chunxiang Gu
Xi Chen
Siqi Lu
Fushan Wei
Published in:
Inf. Technol. Control. (2021)
Keyphrases
</>
state machine
statistical analysis
database
data analysis
data mining
face recognition
integrity constraints
biologically inspired
semi automated
formal analysis
state machines