Strand Space Model of Amended NS Protocol and Its Analysis.
Shimin WeiYuyan GuoPublished in: CSIE (1) (2009)
Keyphrases
- high level
- probabilistic model
- computational model
- prior knowledge
- management system
- statistical analysis
- colored petri nets
- mathematical model
- maximum likelihood
- low dimensional
- search space
- theoretical framework
- objective function
- statistical model
- steady state
- experimental data
- simulation model
- formal model
- image sequences