The Specification and Verification of On-Line Secure E-passport Protocols Using AVISPA (AVISPA를 이용한 On-Line Secure E-passport Protocol의 명세 및 검증)
-
- Proceedings of the Korea Information Processing Society Conference
- /
- 2010.04a
- /
- pp.746-749
- /
- 2010