CONFERENCE PROCEEDINGS
Advanced Search
Prof. Zhi-hua Tan
at Hunan Univ
SPIE Involvement:
Author
Publications (1)
Proceedings Article | 14 March 2013 Paper
Efficient model checking of network authentication protocol based on SPIN
Zhi-hua Tan, Da-fang Zhang, Li Miao, Dan Zhao
Proceedings Volume 8768, 87680C (2013) https://doi.org/10.1117/12.2010605
KEYWORDS: Niobium, Statistical modeling, Process modeling, Data modeling, Logic, Systems modeling, Performance modeling, Information security, Safety, Statistical analysis
SIGN IN TO:
  • View contact details
UPDATE YOUR PROFILE
Is this your profile? Update it now.
Sign into your SPIE.org account
Don’t have a profile and want one?
Create an account on SPIE.org
Advertisement
Advertisement
Back to Top