정형기법을 이용한 ASK 모바일 프로토콜 분석 및 수정
Analyzing and Fixing Vulnerabilities of The Ask Mobile Protocol Using a Formal Method
- 주제(키워드) ASK protocol , formal vertification , mobile protocol
- 주제(KDC) 051.000
- 발행기관 동신대학교
- 발행년도 2006
- 총서유형 Journal
- 본문언어 한국어
Analyzing and Fixing Vulnerabilities of The Ask Mobile Protocol Using a Formal Method