A Formal TLS Handshake Model in LNT.
Josip BozicLina MarssoRadu MateescuFranz WotawaPublished in: MARS/VPT@ETAPS (2018)
Keyphrases
- formal model
- computational model
- theoretical analysis
- computer vision
- network model
- computational models
- sensitivity analysis
- experimental data
- mathematical model
- high level
- em algorithm
- probabilistic model
- cost function
- theoretical framework
- control system
- artificial neural networks
- expert systems
- information systems
- database
- linear model
- hybrid model